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
Schreiben
$59.99
Informal Learning in Vocational Education and Training
$139.99
The Role of Glycosylation in Health and Disease
$219.99
Fault Tolerant Control Design for Hybrid Systems
$84.99
Interregionale Zusammenarbeit in der EU
$59.99
Semantic Web Challenges
$54.99
Grundfragen der Organisation
$39.99
Neural Information Processing
$54.99
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis
$39.99
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
$219.99
Privatisation in Ireland
$109.99
Stability of Functional Equations in Banach Algebras
$39.99
Molecular Interactions and Time-Space Organization in Macromolecular Systems
$84.99
Autonomous Mobile Systems 2012
$39.99
Power Estimation and Optimization Methodologies for VLIW-based Embedded Systems
$119.00
Performing European Memories
$84.99
Der Konkurrenz ein Kundenerlebnis voraus
$69.99
Molecule Protein Interactions
$84.99
Verordnungsbuch und Ditetischer Leitfaden fr Zuckerkranke mit 173 Kochvorschriften
$59.99
Interdependencies Between Fertility and Women's Labour Supply
$84.99
Literature and Cultural Criticism in the 1950s
$54.99
Warriors: A Starless Clan #1: River by Erin Hunter
$9.99
Rough Sets
$39.99
Biofuel Technologies
$219.99
Diagnostic Nuclear Medicine
$169.00
Content and Consciousness Revisited
$39.99
Pragmatic Literary Stylistics
$54.99
Grundlagen der Pharmacognosie
$69.99
Environmental Sustainability in Asian Logistics and Supply Chains
$129.99
Performing Mountains
$109.99
Utilization of Space
$99.00
Personalized Therapy for Multiple Myeloma
$39.99
Kurze bersichtstabelle zur Geschichte der Medizin
$44.99
Timing Analysis and Optimization of Sequential Circuits
$84.99
Digital Documents: Systems and Principles
$54.99
Regulation of Sexual Conduct in UN Peacekeeping Operations
$84.99
Acoustic Signal Processing for Ocean Exploration
$329.99
Delivering Compassionate Care
$49.99
Alfred Marshall and Modern Economics
$39.99
The Auditory Midbrain
$109.99
