Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

by EdBrinksma (Author), KimG.Larsen (Author)

New
Paperback
2008
$121.40

$121.40

Quantity

10 in stock

More Information

Format: Paperback
Pages: 656
Edition: 2002
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540439978
ISBN 13: 9783540439974

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

New

$121.40

$121.40

More Information