Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science)

by Agostino Cortesi (Author), Agostino Cortesi (Author), Supratik Mukhopadhyay (Author), Paul D. Attie (Author), Lenore D. Zuck (Author)

New
Paperback
2008
$84.31

$84.31

Save:$6.13 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 340
Edition: 2003
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540003487
ISBN 13: 9783540003489