Go back

Verification Model Checking And Abstract Interpretation Th International Conference Vmcai 2015 Mumbai India January 12 14 2015 Proceedings(2015 Edition)

Authors:

Deepak Dsouza ,Akash Lal ,Kim Guldstrand Larsen

Free verification model checking and abstract interpretation th international conference vmcai 2015 mumbai india
15 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: $54.99 Savings: $54.99(100%)

Book details

ISBN: 3662460807, 978-3662460801

Book publisher: Springer