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

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

種類:
図書
責任表示:
Thomas Ball, Sriram K. Rajamani (eds.)
出版情報:
Berlin ; Tokyo : Springer, c2003
著者名:
シリーズ名:
Lecture notes in computer science ; 2648 <BA00009279>
ISBN:
9783540401179 [3540401172]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

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

Springer-Verlag

CAV (Conference), Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.)

Springer-Verlag

International Conference on Computer Aided Verification, Hu, Alan J., Vardi, Moshe

Springer-Verlag

Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-, Workshop on Computer-Aided Verification

Springer-Verlag

International Conference on Computer Aided Verification, Grumberg, Orna

Springer-Verlag

CAV (Conference), Brinksma, Ed, Larsen, K. G. (Kim G.), 1957-

Springer