Go back
Model Checking Software 18th International Spin Workshop Snowbird Ut Usa July 14 15 2011 Proceedings(2011 Edition)
Authors:
Alex Groce ,Madanlal Musuvathi
![Free](https://dsd5zvtm8ll6.cloudfront.net/includes/images/document_product_info/free_book_tags.png)
![model checking software 18th international spin workshop snowbird ut usa july 14 15 2011 proceedings 2011](https://dsd5zvtm8ll6.cloudfront.net/si.question.images/book_images/2024/06/666bf8f45b65c_116666bf8f456dd4.jpg)
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $65.03
Savings: $65.03(100%)