Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science, 6806)
ISBN-13: 9783642221095
ISBN-10: 3642221092
Edition: 2011
Binding: Paperback
Publisher: Springer
Published: 2011-07-05
Best Prices for this Book in New Condition
-
+3.99 shipping
Best Used Prices
-
+3.99 shipping
As an Amazon Associate we earn from qualifying purchases.