Normal view MARC view ISBD view

Computer aided verification : 5th international conference proceedings, CAV'93, Elounda, Greece, June 28-July 1, 1993

Computer aided verification : 5th international conference proceedings, CAV'93, Elounda, Greece, June 28-July 1, 1993 - - Berlin Springer-Verlag 1993 - ix,504 p. 23.5 cm - Lecture notes in computer science ; v.697 .

ISBN: 3-540-56922-7

Subjects--Topical Terms:

Computer Science and Engineering
Computer programs-Verification-Congresses , Verification (Logic)-Congresses

Universal Decimal Class. No.: 681.3.06Com:5:93

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)