Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	CAV '92 (4th : 1992 : Montréal, Québec)
Imprint:	Berlin ; New York : Springer-Verlag, c1993.
Description:	ix, 422 p. : ill. ; 24 cm.
Language:	English
Series:	Lecture notes in computer science 663
Subject:	Computer software -- Verification -- Congresses. Electronic digital computers -- Evaluation -- Congresses. Computer software -- Verification. Electronic digital computers -- Evaluation. Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/1488491

Hidden Bibliographic Details
Other authors / contributors:	Bochmann, Gregor von, 1941- Probst, D. K. (David Karl), 1945-
ISBN:	0387564969 (acid-free paper)
Notes:	Includes bibliographical references.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.76.E93C380 1992
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian