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
Advances in Spatial and Temporal Databases
$54.99
The Lucky Ones
$6.71
Proceedings of the First US/Japan Conference on the Frontiers of Statistical Modeling: An Informatio
$109.99
Quality Estimation for Machine Translation
$54.99
Computer Communication, Networking and Internet Security
$329.99
Skin Color
$49.99
Risk-Pooling Essentials
$54.99
Lean Logistics
$129.99
Investitionsstandort VR China
$69.99
Fhrungssysteme zwischen Stabilitt und Wandel
$99.00
High-Power Dye Lasers
$39.99
Hyperspherical Harmonics
$129.00
Systems Engineering
$29.99
Frauen-Selbsthilfegruppen im Kontext von Therapeutisierung
$79.99
Analytical Chemistry Progress
$39.99
Die Philosophie Carnaps
$39.99
Untersuchungen zum kooperativen und prosozialen Verhalten
$59.99
Accounting for Management Control
$109.99
Rhodes Framework for Android Platform and BlackBerry Smartphones
$39.99
Achieving the Millennium Development Goals
$109.99
The Criminal Victimization of Immigrants
$54.99
Principles of Molecular Regulation
$99.00
Prozessmanagement in der Praxis
$59.99
Germany from Empire to Ruin, 19131945
$39.99
International Conference on Advanced Intelligent Systems for Sustainable Development
$249.99
Radiology of Osteoporosis
$89.00
Human-Harmonized Information Technology, Volume 1
$84.99
Mr. George Baker
$5.96
Sonderstraftatbestnde gegen Submissionsabsprachen
$64.99
Modern Chinese Defence Strategy
$59.99
Global Research of Cities
$39.99
Somatoforme Strungen
$84.99
Hundepsychologie
$29.99
Methods For Monitoring Tiger And Prey Populations
$199.99
Global Energy Transformation
$49.99
Proceedings of the 3rd International Conference on Communication, Devices and Computing
$279.99
Microorganisms in Sustainable Agriculture and Biotechnology
$169.00
EKG Teaching Rounds
$54.99
The Laborer's Two Bodies
$54.99
1959
$44.99
