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:
Buy Model Checking Software for $44.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$44.99 | 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
Compiler Construction
$39.99
Calcium and the Secretory Process
$54.99
Role of Exosomes in Biological Communication Systems
$169.99
Chemie der Umweltbelastung
$39.99
Poliovirus
$109.99
Molecular and Cell Biology of Autoantibodies and Autoimmunity. Abstracts
$54.99
Incentives and Disincentives in Organ Donation
$109.00
Topics in Combinatorial Optimization
$54.99
Public Sector Economics
$39.99
European Book Cultures
$54.99
Autistic People With Co-occurring Psychological Conditions
$49.99
Times Arrow: The Origins of Thermodynamic Behavior
$54.99
Network Reliability in Practice
$109.99
Plates and FEM
$109.00
Restructuring South Africa
$109.99
I Like to Read: See Me Dig
$4.46
Micromechanics of defects in solids
$54.99
Kritik des Taylor-Systems
$59.99
Adaptive Robust Control for Planar Snake Robots
$139.99
Biogas Science and Technology
$169.99
Taschenbuch der Wasserwirtschaft
$159.99
Therapeutic Antibodies
$329.99
Umweltschutztechnik
$69.99
You Can Cook This!- Turn the 30 Most Commonly Wasted Foods into 135 Delicious Plant-Based Meals- A Cookbook by Max La Manna
$25.00
Produktionstheorie
$39.99
Literary Tourism and Nineteenth-Century Culture
$54.99
Anwenderorientierte Dezentralisierung von PPS-Systemen
$69.99
Contract Analysis and Design for Supply Chains with Stochastic Demand
$39.99
Early Black Media, 19181924
$54.99
Metaphor
$49.99
Multiprojektmanagement
$79.99
Ted Hughes, Nature and Culture
$99.00
200 Prozent von nichts
$59.99
How Do Dinosaurs Stay Friends?
$5.96
Control Theory for Linear Systems
$129.00
Discrete Images, Objects, and Functions in Zn
$84.99
Die Brucellose als Anthropo-Zoonose
$59.99
Gibbs Random Fields
$54.99
Fracture and Failure of Natural Building Stones
$219.99
Rethinking Borders
$109.99
