>> Google Books
QRコード(所蔵情報)

Principles of model checking

フォーマット:
図書
責任表示:
Christel Baier, Joost-Pieter Katoen
言語:
英語
出版情報:
Cambridge, Mass. : MIT Press, [2008]
形態:
xvii, 975 p. ; 26 cm
著者名:
書誌ID:
BA85741908
ISBN:
9780262026499 [026202649X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Model checking

Clarke, Edmund, Grumberg, Orna, Peled, Doron

MIT Press

Juan, Eric Y.T., Tsai, Jeffrey J.-P

Kluwer Academic Publishers

TACAS 2002, Katoen, Joost-Pieter, Stevens, Perdita

Springer Berlin Heidelberg

Pieters, Danny

Kluwer Law & Taxation Publishers

EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Springer

9 電子ブック Model Checking Software

International SPIN Workshop, Ball, Thomas Jaudon, Rajamani, Sriram K.

Springer Berlin Heidelberg

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Katoen, Joost-Pieter

Springer Berlin Heidelberg

10 電子ブック Model Checking Software

International SPIN Workshop, Graf, Susanne, Mounier, Laurent

Springer Berlin / Heidelberg

EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Springer Berlin Heidelberg

11 電子ブック Model Checking Software

International SPIN Workshop, Dwyer, Matthew, ACM Sigsoft., Association for Computing Machinery-Digital Library.

Springer Berlin Heidelberg

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag

12 電子ブック Model Checking Software

Dragan Bošnacki

Springer Berlin Heidelberg