Go back

Model Checking Software 23rd International Symposium Spin 20 Co Located With Etaps 20 Eindhoven The Netherlands April 7 8 20 Proceedings(1st Edition)

Authors:

Dragan Bosnacki ,Anton Wijs

Free model checking software 23rd international symposium spin 20 co located with etaps 20 eindhoven the
15 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $53.02 Savings: $53.02(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Model Checking Software 23rd International Symposium Spin 20 Co Located With Etaps 20 Eindhoven The Netherlands April 7 8 20 Proceedings

Price:

$9.99

/month

Book details

ISBN: 3319325817, 978-3319325811

Book publisher: Springer