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
International Perspectives on Gender-Based Violence
$159.99
Ersparnis und wirtschaftliche Entwicklung bei alternder Bevlkerung
$59.99
Philosophical Works of Peter Chaadaev
$79.99
Develop on Yammer
$44.99
The Semantic Web
$54.99
Social Environment and Cancer in Europe
$119.99
Stochastic Modeling for Reliability
$129.00
Clusters Contemporary Insight in Structure and Bonding
$379.99
Die Sprachlaute
$59.99
Auftragsleittechnik fr Konstruktion und Arbeitsplanung
$59.99
Mikrozirkulation / Microcirculation
$59.99
Illustrated Manual of Regional Anesthesia
$39.99
Bioethics in a World
$39.99
Proceedings of the 14th International Conference on the Technology of Plasticity - Current Trends in
$249.99
Next Chapter in Mobility
$149.99
Representing Masculinity
$54.99
Assessment and Service-Learning in Higher Education
$129.99
Endocannabinoid Signaling
$169.99
Kompendium der kardiologischen Prvention und Rehabilitation
$129.00
The Rhetoric and Reality of Marketing
$109.99
Alcohol in the Maghreb and the Middle East since the Nineteenth Century
$159.99
Almost Automorphic Type and Almost Periodic Type Functions in Abstract Spaces
$84.99
Imposed Rationality and Besieged Imagination
$54.99
Osteopathic Athletic Health Care
$54.99
HCI for Children with Disabilities
$109.99
Cardiovascular Development
$109.99
The Cultural Histories of Radio Luxembourg and Europe n1
$89.00
Quantitative Evaluation of Systems
$39.99
Hey You! C'mere
$5.21
The Political Economy of Pacific Russia
$129.99
Internationale Arbeitsstandards in einer globalisierten Welt
$59.99
Alexander von Kluck
$59.99
Kommunikationstechnik fr den rechnerintegrierten Fabrikbetrieb
$69.99
Education and the Reproduction of Capital
$54.99
Solar Energy Conversion Systems in the Built Environment
$179.99
Proceeding of International Conference on Intelligent Communication, Control and Devices
$219.99
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
$89.00
The Keynesian Tradition
$109.99
Bioinformatics of Genome Regulation and Structure
$169.99
Politische Sozialisation und politische Bildung
$59.99
