Go back

Automated Technology For Verification And Analysis 10th International Symposium Atva 2012 Thiruvananthapuram India October 2012 Proceedings Lncs 7561(2012th Edition)

Authors:

Madhavan Mukund ,Supratik Chakraborty

Free automated technology for verification and analysis 10th international symposium atva 2012 thiruvananthapuram
4 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Free shipping: April 04, 2024
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%)

Book details

ISBN: 3642333850, 978-3642333859

Book publisher: Springer