Go back

Verification Model Checking And Abstract Interpretation 14th International Conference Vmcai 2013 Rome Italy January 2013 Proceedings Lncs 7737(1st Edition)

Authors:

Roberto Giacobazzi ,Josh Berdine ,Isabella Mastroeni

Free verification model checking and abstract interpretation 14th international conference vmcai 2013 rome italy
3 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: $76.82 Savings: $76.82(100%)

Book details

ISBN: 3642358748, 978-3642358746

Book publisher: Springer