Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

フォーマット:
図書
責任表示:
Costas Courcoubetis (ed.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1993
形態:
ix, 504 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 697 <BA00009279>
書誌ID:
BA20594397
ISBN:
9780387569222 [0387569227] (: us)
9783540569220 [3540569227] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 

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

Springer-Verlag

CAV (Conference), Clarke, E. M., Kurshan, R. P., 1943-

Springer-Verlag

CAV (Conference), Bochmann, Gregor Von., 1941-, Probst, David Karl

Springer-Verlag