Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905)
ISBN-13: 9783540781622
ISBN-10: 3540781625
Edition: 2008
Binding: Paperback
Publisher: Springer
Published: 2008-02-26
Best Prices for this Book in New Condition
As an Amazon Associate I earn from qualifying purchases.