Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science, 4349)
ISBN-13: 9783540697350
ISBN-10: 3540697357
Edition: 2007
Binding: Paperback
Publisher: Springer
Published: 2007-01-03
Best Prices for this Book in New Condition
Best Used Prices
-
+3.99 shipping
-
-
As an Amazon Associate we earn from qualifying purchases.