Go back

Model Checking Software 9th International SPIN Workshop Grenoble France April 11-13 2002 Proceedings Lecture Notes In Computer Science(1st Edition)

Authors:

Dragan Bosnacki\, Stefan Leue

Free model checking software 9th international spin workshop grenoble france april 11-13 2002 proceedings lecture
4 ratings
Cover Type:Paperback
Condition:New

In Stock

Include with your book

Free shipping: April 04, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $11.76 Savings: $11.76(100%)

Book details

ISBN: 3540434771, 9783540434771

Book publisher: Springer