Go back

Model Checking Software 12th International Spin Workshop San Francisco Ca Usa August 22 24 2005 Proceedings(2005 Edition)

Authors:

Patrick Godefroid

Free model checking software 12th international spin workshop san francisco ca usa august 22 24 2005 proceedings
6 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: $18.96 Savings: $18.96(100%)

Book details

ISBN: 3540281959, 978-3540281955

Book publisher: Springer