Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science, 6252)
ISBN-13: 9783642156427
ISBN-10: 3642156428
Edition: 2010
Binding: Paperback
Publisher: Springer
Published: 2010-09-03
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate I earn from qualifying purchases.