Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
Collectivité auteur: | |
---|---|
Autres auteurs: | , |
Resource Type: | Livre |
Langue: | English |
Publié: |
Berlin
Springer-Verlag
c1993.
|
Collection: | Lecture notes in computer science
663 |
Sujets: |
College of Engineering Library II (UP Diliman)
Accession # | Call # | Volume/Part# | Copy # | Collection | Circulation Type | Circulation Status |
---|---|---|---|---|---|---|
E-29516 | QA 76.76 V47 C39 1992 | Regular Circulation | On-Shelf |