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 model checking software 22nd international symposium spin 2015 stellenbosch south africa august 24 26 2015
11 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Expected shipping: July 06, 2024
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%)

Book details

ISBN: 331923403X, 978-3319234038

Book publisher: Springer