Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science, 3576)
ISBN-13: 9783540272311
ISBN-10: 3540272313
Edition: 2005
Binding: Paperback
Publisher: Springer
Published: 2005-06-24
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.