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
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $53.02
Savings: $53.02(100%)
Book details
ISBN: 3319325817, 978-3319325811
Book publisher: Springer
Frequently Bought Together
Auditing A Risk Based Approach to Conducting a Quality Audit - 10th edition
Karla Johnstone
ISBN: 1305080572, 978-1305465664, 1305465660, 978-1305080577
$0 $299.95
Effective Communication In The Business World - 1st Edition
Davina Clarke
ISBN: 1792464681, 978-1792464683
$0 $15.25
Convexity From The Geometric Point Of View - 1st Edition
Vitor Balestro
ISBN: 3031505069, 978-3031505065
$0 $139.99
Manhattan Elite Prep Turbocharge Your GMAT Verbal Study Companion - 10th.1st Edition
Tracy Yun
ISBN: 0982432437, 978-0982432433
$0 $6.59
Cracking The Gre With Sample Tests On Cd Rom 2003 Edition - Book And Cd-rom Edition
Karen Lurie
ISBN: 0375762485, 978-0375762482
$0 $2.99