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
Pulsed Metal Vapour Lasers
$219.99
Anwendungsorientiertes Wissensmanagement
$44.99
Aeroservoelasticity
$89.00
Recent Advances in Geometric Inequalities
$109.99
Surviving Globalization?
$109.99
Clifford the Big Red Dog: Clifford Goes to Dog School
$2.99
Solid State Physics
$139.99
Politics and the Criteria of Truth
$54.99
The Films of Lars von Trier and Philosophy
$64.99
Albanien und die Albanesen
$39.99
The Eurogang Paradox
$109.99
Digital Technology in Service Encounters
$109.99
Integritt in der Fhrung
$44.99
Was ist Stahl
$49.99
Beginning Android 3D Game Development
$49.99
Black American Writers
$99.00
Die Balanced Scorecard als Konzept fr das ganzheitliche Personalcontrolling
$74.99
Regulatory Mechanisms of Neuron to Vessel Communication in the Brain
$129.00
e-Logistik
$49.99
Moderne Radium- und Thoriumtherapie bei der Behandlung der Geschwlste, der Gicht, der rheumatischen
$59.99
Logic and Scientific Methods
$219.99
Phytotoxicity of Nanoparticles
$219.99
Trmmersprachen zwischen Grammatik und Geschichte
$49.99
Consumption and Production in the Textile and Garment Industry
$149.00
Life and Mind
$219.99
Die Kindertagessttte als Bildungsort
$64.99
Graded Exercises in Electrical and Electronic Engineering
$84.99
bungsbuch Logistik
$29.99
Control and Estimation of Distributed Parameter Systems
$84.99
Management Multinationaler Unternehmungen
$109.00
Flash MX Video
$29.99
Universal Rights, Systemic Violations, and Cultural Relativism in Morocco
$39.99
Akkulturation von Auslandsakquisitionen
$69.99
Nationalism and Communism in Eastern Europe and the Soviet Union
$169.99
Phnomenologische Rheologie
$249.99
Anorganische Chromatographie und Elektrophorese
$59.99
Molecular Mechanisms of Angiogenesis
$169.99
Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition
$84.99
Neurogene Blasenfunktionsstrung Neurogene Sexualstrung
$69.99
Digital Oratory as Discursive Practice
$129.99
