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

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xiii, 626 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2404 <BA00009279>
著者名:
ISBN:
9783540439974 [3540439978]
書誌ID:
BA58064487
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

CAV (Conference), Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-

Springer-Verlag

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

Springer

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

Springer-Verlag

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

Springer-Verlag

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