Principles of model checking | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

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]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Computer software--Verification; Computer systems--Verification
分類・件名:	LCC : QA76.76.V47 DC22 : 004.2/4 LCSH : Computer systems -- Verification LCSH : Computer software -- Verification
LCCN:	2007037603
注記:	<BB0787963X>とは別書誌 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 Clarke, Edmund, Grumberg, Orna, Peled, Doron MIT Press	7 図書 Validation and verification of knowledge based systems : theory, tools and practice Vermesan, Anca, Coenen, Frans Kluwer Academic
2 電子ブック Model-Based Testing of Reactive Systems : Advanced Lectures Broy, Manfred, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander, Jonsson, Bengt, SpringerLink (Online … Springer-Verlag GmbH.	8 図書 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem Godefroid, Patrice Springer
3 電子ブック CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings Katoen, Joost-Pieter, König, Barbara, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	9 図書 Temporal verification of reactive systems : safety Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag
4 図書 Validation of stochastic systems : a guide to current research Baier, Christel Springer	10 図書 Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction Müller-Olm, Markus Springer
5 図書 Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on … TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software Springer	11 図書 Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism Rao, Josyula R., 1962- Springer
6 電子ブック CONCUR 2006 - Concurrency Theory : 17th International Conference CONCUR 2006 Bonn Germany August 27-30 2006 Baier Christel, Hermanns Holger, SpringerLink (Online service) Springer-Verlag GmbH.	12 図書 Verification of sequential and concurrent programs Apt, Krzysztof R., 1949-, Olderog, E.-R. Springer