Cover is for reference only

Computer aided verification：13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: CAV Conference (13th 2001 Paris
Group Author: Comon Hubert; Berry Gérard 1948-; Finkel A
Published: Springer,
Publisher Address: Berlin
Publication Dates: 2001.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 2102
Subjects:
Computer software > Verification
Integrated circuits > Verification
Logiciels > Vérification
Logiciels > Essais
Circuits intégrés > Essais
Carrier Form: xiii, 520 p.: ill. ; 24 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 3540423451
Index Number: TP306
CLC: TP306-532
TP391.76-532
TP301-532
Call Number: TP301-532/C738/2001
Contents: Includes bibliographical references.

Related Book Recommendations