Go back
Model Checking Software 22nd International Symposium Spin 2015 Stellenbosch South Africa August 24 26 2015 Proceedings(1st Edition)
Authors:
Bernd Fischer ,Jaco Geldenhuys
![Free](https://dsd5zvtm8ll6.cloudfront.net/includes/images/document_product_info/free_book_tags.png)
![model checking software 22nd international symposium spin 2015 stellenbosch south africa august 24 26 2015](https://dsd5zvtm8ll6.cloudfront.net/si.question.images/book_images/2024/06/666bf8296da0d_913666bf82969d4a.jpg)
Cover Type:Hardcover
Condition:Used
In Stock
Include with your book
Expected shipping: July 06, 2024Popular items with books
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%)