Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

by Doron Peled (Series Editor), Nicolas Halbwachs (Editor)

New
Paperback
2008
$110.39

$110.39

Save:$9.04 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 526
Edition: 1999
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008
ISBN 10: 3540662022
ISBN 13: 9783540662020

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

New

$110.39

$110.39

More Information