Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Detaylı Bibliyografya
Müşterek Yazar: CAV (Conference) (4th : 1992 : Montreal, Canada)
Diğer Yazarlar: Bochmann, G. V., Probst, D. K.
Resource Type: Kitap
Dil:English
Baskı/Yayın Bilgisi: Berlin Springer-Verlag c1993.
Seri Bilgileri:Lecture notes in computer science 663
Konular:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.

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