Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, 6996)
ISBN-13: 9783642243714
ISBN-10: 3642243711
Edition: 2011
Binding: Paperback
Publisher: Springer
Published: 2011-09-21
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate I earn from qualifying purchases.