Cover is for reference only

Computer aided verification：16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Saved in:
Bibliographic Details
Corporate Authors: CAV Conference (16th 2004 Boston, MA
Group Author: Alur Rajeev 1966-; Peled Doron 1962-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2004.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3114
Subjects:
Computer software > Verification
Integrated circuits > Verification
Electronic digital computers > Evaluation
Carrier Form: xii, 536 p.: fig., tab. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540223428 (pbk.)
Index Number: TP306
CLC: TP306-532
TP301-532
TP391.76-532
Call Number: TP301-532/C738/2004
Contents: Includes bibliographical references and index.

Related Book Recommendations