>> Amazon.co.jp
このページのQRコード

Model checking

種類:
図書
責任表示:
Edmund M. Clarke, Jr., Orna Grumberg, Doron Peled
出版情報:
Cambridge, MA : MIT Press, 1999
著者名:
ISBN:
9780262032704 [0262032708]  CiNii Books  Calil
注記:
Includes bibliographical references (p. [297]-307) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Verification of digital and hybrid systems

Inan, Kemal, 1942-, Kurshan, R. P., 1943-

Springer
7 図書 Semantic modelling

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
2 図書 Compositional verification of concurrent and real-time systems

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

Kluwer Academic Publishers
8 図書 Melville's reading : a check-list of books owned and borrowed

Sealts, Merton M., 1915-

University of Wisconsin Press
3 図書 Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

International Conference on Computer Aided Verification, Grumberg, Orna

Springer-Verlag
9 図書 Environmental applications of geochemical modeling

Zhu, Chen, 1962-, Andeson, G. M. (Gregor Munro), 1932-

Cambridge University Press
4 図書 Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Springer
10 図書 Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

SPIN, Ball, Thomas, Rajamani, Sriram K.

Springer
5 図書 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

CAV (Conference), Halbwachs, Nicolas, Peled, Doron

Springer-Verlag
11 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

SPIN, Bošnački, Dragan, Leue, Stefan

Springer
6 図書 Markov models and optimization

Davis, M. H. A., 1945-

Chapman & Hall
12 図書 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

SPIN, Dwyer, Matthew, 1963-

Springer