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

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c1999
形態:
x, 276 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1680 <BA00009279>
著者名:
ISBN:
9783540664994 [3540664998]
書誌ID:
BA43719764
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …

IEEE Computer Society

Workshop on Formal Aspects in Security and Trust, Dimitrakos, Theo, Martinelli, F. (Fabio), IFIP World Computer Congress

Springer

Kirwan, Christopher

New York University Press

CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain

Springer

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

Springer-Verlag

World Congress on Formal Methods in the Development of Computing Systems, Wing, Jeannette Marie, Woodcock, James, …

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12