|
" Computer Aided Verification : "
edited by Gregor Bochmann, David Karl Probst.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746274
|
| Doc. No
|
:
|
b566223
|
| Main Entry
|
:
|
edited by Gregor Bochmann, David Karl Probst.
|
| Title & Author
|
:
|
Computer Aided Verification : : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings\ edited by Gregor Bochmann, David Karl Probst.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1993
|
| Series Statement
|
:
|
Lecture Notes in Computer Science, 663
|
| ISBN
|
:
|
3540475729
|
|
|
:
|
: 9783540475729
|
| Notes
|
:
|
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
David Karl Probst
|
|
|
:
|
Gregor Bochmann
|
| |