Go back

Verification Model Checking And Abstract Interpretation 13th International Conference Vmcai 2012 Philadelphia Pa Usa January 22 24 2012 Proceedings(2012 Edition)

Authors:

Viktor Kuncak ,Andrey Rybalchenko

Free verification model checking and abstract interpretation 13th international conference vmcai 2012 philadelphia
14 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $60.13 Savings: $60.13(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Verification Model Checking And Abstract Interpretation 13th International Conference Vmcai 2012 Philadelphia Pa Usa January 22 24 2012 Proceedings

Price:

$9.99

/month

Book details

ISBN: 3642279392, 978-3642279393

Book publisher: Springer