Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings: 2725 (Lecture Notes in Computer Science)

by Fabio Somenzi (Author), Jr.Hunt (Author)

New
Paperback
2008
$61.41

$61.41

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 500
Edition: 2003
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540405240
ISBN 13: 9783540405245

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings: 2725 (Lecture Notes in Computer Science)

New

$61.41

$61.41

More Information