Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114)
ISBN-13: 9783540223429
ISBN-10: 3540223428
Edition: 2004
Binding: Paperback
Publisher: Springer
Published: 2004-06-29
Best Prices for this Book in New Condition
-
Free shipping
Best Used Prices
-
+3.99 shipping
-
-
As an Amazon Associate we earn from qualifying purchases.