1.

図書
図書
1. Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings (: gw ; : us)
Costas Courcoubetis (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 697
所蔵情報: loading…
2.

図書
図書
2. Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings (: gw ; : us)
E.M. Clarke, R.P. Kurshan, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 531
所蔵情報: loading…
3.

図書
図書
3. Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings (: gw ; : us)
K.G. Larsen, A. Skou (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 575
所蔵情報: loading…
4.

図書
図書
4. Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings (: us ; : gw)
G.v. Bochmann, D.K. Probst (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 663
所蔵情報: loading…