Principles of model checking

>> Google Books

QRコード(所蔵情報)

Principles of model checking

フォーマット:

図書

責任表示:

Christel Baier, Joost-Pieter Katoen

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, [2008]

形態:

xvii, 975 p. : ill. ; 26 cm

著者名:

書誌ID:

BA85741908

ISBN:

9780262026499 [026202649X]

子書誌情報

所蔵情報

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

詳細

主題:	Computer software--Verification; Computer systems--Verification
分類・件名:	LCC : QA76.76.V47 DC22 : 004.2/4 LCSH : Computer systems -- Verification LCSH : Computer software -- Verification
LCCN:	2007037603
注記:	Includes bibliographical references (p. 931-964) and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Model checking quantum systems : principles and algorithms Ying, Mingsheng, Feng, Yuan Cambridge University Press	7 図書 Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : … EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter Springer
2 図書 Model checking Clarke, Edmund, Grumberg, Orna, Peled, Doron MIT Press	8 図書 Temporal verification of reactive systems : safety Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag
3 電子ブック Tools and Algorithms for the Construction and Analysis of Systems TACAS 2002, Katoen, Joost-Pieter, Stevens, Perdita Springer Berlin Heidelberg	9 図書 Compositional verification of concurrent and real-time systems Juan, Eric Y.T., Tsai, Jeffrey J.-P Kluwer Academic Publishers
4 図書 Foundations of probabilistic programming Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra Cambridge University Press	10 図書 Introduction into the basic principles of social security Pieters, Danny Kluwer Law & Taxation Publishers
5 電子ブック Lectures on Formal Methods and PerformanceAnalysis EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter Springer Berlin Heidelberg	11 図書 Principles of computational fluid dynamics Wesseling, Pieter, Dr. Ir Springer
6 電子ブック Formal Methods for Real-Time and Probabilistic Systems International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Katoen, Joost-Pieter Springer Berlin Heidelberg	12 図書 Principles of river engineering : the non-tidal alluvial river Jansen, Pieter Philippus, 1902- Pitman