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

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings

種類:
図書
責任表示:
E.M. Clarke, R.P. Kurshan, (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1991
著者名:
シリーズ名:
Lecture notes in computer science ; 531 <BA00009279>
ISBN:
9783540544777 [3540544771] (: Berlin)  CiNii Books  Calil
9780387544779 [0387544771] (: New York)  CiNii Books  Calil
注記:
'Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991'--Pref
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)

Springer-Verlag
7 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)

Springer
2 電子ブック Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

CAV (Conference), Dill, David L.

Springer-Verlag
3 図書 Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer &hellip;

American Mathematical Society, Association for Computing Machinery
9 電子ブック Computer Aided Verification : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Dill, David L., SpringerLink (Online service)

Springer-Verlag
4 図書 Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

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

Springer-Verlag
10 電子ブック Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Dill, David L., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)

Springer-Verlag
11 図書 Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

FMCAD '98, Gopalakrishnan, Ganesh, Windley, Phillip J., 1958-

Springer
6 電子ブック Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Alur, Rajeev., Henzinger, Thomas., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Computer aided systems theory - EUROCAST '95 : a selection of papers from the fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, …

International Workshop on Computer Aided Systems Theory, Pichler, Franz, Ing., Dr. phil, Moreno-Díaz, Roberto, 1939-, &hellip;

Springer-Verlag