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

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)

$104.48

Save:$8.55 (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