Cover is for reference only

Computer aided verification：20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: CAV (Conference) (20th 2008 Princeton, N.J.); SpringerLink (Online service)
Group Author: Malik Sharad.; Gupta Aarti, Dr.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5123
Subjects:
Electronic digital computers > Evaluation.
Computer science
Artificial Intelligence (incl. Robotics)
Logic design.
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software engineering
Electronic books.
Computer software > Verification.
Online Access: http://dx.doi.org/10.1007/978-3-540-70545-1
Carrier Form: 1 online resource (xvii, 558 p.):
ISBN: 9783540705451 (electronic bk.)
3540705457 (electronic bk.)
Index Number: TP301
CLC: TP301-532
TP391.76-532
TP306-532
Contents: Includes bibliographical references and index.

Related Book Recommendations