Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
Institutionell upphovsman: | |
---|---|
Övriga upphovsmän: | , |
Resource Type: | Bok |
Språk: | English |
Publicerad: |
Berlin
Springer-Verlag
c1993.
|
Serie: | Lecture notes in computer science
663 |
Ämnen: |
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 |