Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Model Checking Software
Best Price (Coupon Required):
Buy Model Checking Software for $40.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 2627, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
Reviews
Questions & Answers
Education and Democracy at The End
$129.99
Barnes & Noble Sound the Gong by Joan He
$19.99
PISA 2000
$89.99
Algorithm Theory - SWAT'98
$39.99
Apical Periodontitis in Root-Filled Teeth
$159.99
Essential Visual Basic 5.0 Fast
$54.99
Geschftsprozessintegration mit SAP
$39.99
Exil
$89.99
Untersuchungen ber Widerstandsrauschen
$54.99
Classical Mathematical Physics
$69.99
SRAM Design for Wireless Sensor Networks
$84.99
Formulation of Appropriate Laws: A New Integrated Multidisciplinary Approach and an Application to E
$169.99
Narratives and Reflections in Music Education
$109.99
6th International Technical Conference on Advances in Computing, Control and Industrial Engineering
$329.99
Cardiovascular Imaging
$84.99
A Handbook of International Economic Institutions
$39.99
Artificial Intelligence and Natural Language
$54.99
Network Hacks - Intensivkurs
$59.99
Copper and Zinc in Inflammation
$84.99
Economic and Social Upgrading in Global Value Chains
$169.00
Effiziente Marketingkampagnen Erfolgsfaktoren von Effie-Gewinnern
$44.99
Geostatistics Oslo 2012
$129.00
Formal Descriptions of Developing Systems
$109.99
Handelsforschung 1999/00
$59.99
Sam and the Firefly by P. D. Eastman
$9.99
Handbuch Unternehmungsfhrung
$69.95
Nachhaltig leistungsfhig bleiben
$24.99
Einfhrung in die Reaktionstheorie
$39.99
Computers, People, and Thought
$69.99
Several Complex Variables. Maryland 1970. Proceedings of the International Mathematical Conference
$44.99
Learning from Good and Bad Data
$129.00
The Palgrave Handbook of Contemporary Geopolitics
$449.99
Life Cycle Management
$59.99
Das Family Office
$79.99
Handbook of Philosophical Logic
$219.99
Schomburg
$6.71
Rntgenanatomie/Radiological Anatomy/Anatomie Radiologique
$29.99
Sprachverarbeitung
$74.99
Wie aus Zahlen Bilder werden
$79.99
Handbook on Public Private Partnerships in Transportation, Vol I
$249.99
