Go back
Automated Technology For Verification And Analysis 9th International Symposium Atva 2011 Taipei Taiwan October 2011 Proceedings Lncs 6996(2011th Edition)
Authors:
Tevfik Bultan ,Pao Ann Hsiung
Cover Type:Hardcover
Condition:Used
In Stock
Include with your book
Free shipping: May 07, 2024Popular items with books
Access to 3 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $54.99
Savings: $54.99(100%)