Software reliability methods

>> Google Books

QRコード(所蔵情報)

Software reliability methods

フォーマット:

図書

責任表示:

Doron A. Peled ; foreword by Edmund M. Clarke

言語:

英語

出版情報:

New York : Springer, c2001

形態:

xix, 331 p. : ill. ; 25 cm

著者名:

シリーズ名:

Undergraduate texts in computer science <BA29308012>

書誌ID:

BA53312796

ISBN:

9780387951065 [0387951067]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Computer software--Reliability
分類・件名:	LCC : QA76.76 DDC : 005 LCSH : Computer software -- Reliability
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Model checking Clarke, Edmund, Grumberg, Orna, Peled, Doron MIT Press	7 電子ブック Time for Verification Manna, Zohar, Kanade, Takeo, Peled, Doron A., Kittler, Josef Springer Berlin Heidelberg
2 電子ブック Computer Aided Verification CAV (Conference), Alur, Rajeev, Peled, Doron, Peled, Doron A. Springer Berlin Heidelberg	8 電子ブック Verification, Model Checking, and Abstract Interpretation Logozzo, Francesco, Peled, Doron A., Zuck, Lenore D., Zuck, Leonore D. Springer Berlin Heidelberg
3 図書 Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : … FORTE, IFIP Working Group 6.1, Peled, Doron, 1962-, Vardi, Moshe Springer	9 電子ブック Runtime Verification Bensalem, Saddek, Kanade, Takeo, Peled, Doron A., Kittler, Josef Springer Berlin Heidelberg
4 電子ブック Formal Techniques for Networked and Distributed Sytems — FORTE 2002 FORTE 2002, Peled, Doron, Vardi, Moshe Y. Springer Berlin Heidelberg	10 電子ブック Mathematical and Statistical Models and Methods in Reliability V.V. Rykov, N. Balakrishnan, M.S. Nikulin, Balakrishnan, N., Nikulin, Mikhail Stepanovich, Rykov, V. V., Nikulin, M. S. Birkhäuser Boston
5 図書 Statistical methods in software engineering : reliability and risk Singpurwalla, Nozer D., Wilson, Simon P. Springer	11 電子ブック Formal Methods and Software Engineering Butler, Michael, Hinchey, Michael G., Hinchey, Michael Gerard, Kanade, Takeo, Larrondo-Petrie, María M., Kittler, Josef Springer Berlin Heidelberg
6 電子ブック Computer Aided Verification CAV (Conference), Halbwachs, Nicolas, Peled, Doron, van Leeuwen, Jan Springer Berlin Heidelberg	12 図書 Handbooks of modern statistical methods Fitzmaurice, Garrett M., 1962- Chapman & Hall/CRC