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
Working in Digital and Smart Organizations
$149.00
Radical Welfare State Retrenchment
$54.99
Praktikum Elektrische Metechnik
$84.99
Emerging Eco-friendly Green Technologies for Wastewater Treatment
$249.99
Sicherer Umgang mit diisocyanathaltigen Arbeitsstoffen
$44.99
Discipline and Punishment in Global Politics
$54.99
Advances in Non-Integer Order Calculus and Its Applications
$169.99
Fly Guy & Fly Girl #2: Friendly Frenzy (Hardcover)
$5.24
Insurance Systems in Times of Climate Change
$109.99
Teenagers and Substance Use
$39.99
Die Werkwiedergabe im Web 2.0
$64.99
Management of Heart Failure
$84.99
Britannia Unchained
$37.99
Current Sensing Techniques and Biasing Methods for Smart Power Drivers
$54.99
Plant Biogeography and Vegetation of High Mountains of Central and South-West Asia
$129.00
The Philosophy of Time
$109.99
The Resurgence of Parish Council Powers in England
$49.99
Praktikum der Warenkunde
$59.99
Kundenbindungsmanagement im Einzelhandel
$59.99
Neue Wege der betrieblichen Planung
$54.99
The Reality of Time Flow
$99.99
Sustainable Wealth Management
$99.99
Decoupling Drupal
$24.99
Cosmopolitan Nationalism in the Victorian Empire
$54.99
Mobile Multimedia Communications
$39.99
Precision Lens Molding of Glass: A Process Perspective
$84.99
Entrepreneurial Excellence in the Knowledge Economy
$109.99
Enzyme Physics
$39.99
Introduction to Partial Differential Equations
$39.99
Advances in Biochemical Engineering
$74.99
Disaster Management: Enabling Resilience
$179.99
Grey Information
$169.99
Yeats, Coleridge and the Romantic Sage
$39.99
Zahnrder
$84.99
A Guide to Integrative Pediatrics for the Healthcare Professional
$54.99
CO2 und CO Nachhaltige Kohlenstoffquellen fr die Kreislaufwirtschaft
$79.99
Differential Games in Marketing
$169.99
Iterative Lsung groer schwachbesetzter Gleichungssysteme
$49.99
Hormones and Social Behavior
$219.99
Betriebswirtschaftliche Anwendungen des integrierten Systems SAP R 3
$54.99
