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

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.)

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

類似資料:

International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Mycroft, Alan, …

Springer

3 電子ブック Model Checking Software

Valmari, Antti, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Conference on Business Process Management, Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit

Springer

International Conference on Informatics in Secondary Schools, Evolution and Perspectives, Mittermeir, Roland

Springerr

International Workshop on Frontiers of Combining Systems, Gramlich, Bernhard

Springer

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