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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Reviews
Questions & Answers
Earthquake Source Physics on Various Scales
$54.99
The European Ombudsman and Good Administration in the European Union
$199.99
Auf der Suche nach dem Wort, das berhrt
$39.99
Whler und Gewhlte
$69.99
Norman The Doorman
$6.50
Ursprung und Wesen der Landgemeinde nach rheinischen Quellen
$59.99
Momente der Fhrung - heute und morgen
$64.99
Kostenoptimierte Anwendungsentwicklung
$44.99
Kiln-Drying of Lumber
$109.00
Sepsis nach Angina
$59.99
Akupunktur - Einfhrung und Poster
$59.99
The Girl in the Lake
$6.74
Seismic Wave Propagation and Scattering in the Heterogenous Earth
$139.00
Proceedings of International Conference on Computer Vision and Image Processing
$169.00
Proceedings of the 3rd RILEM Spring Convention and Conference (RSCC 2020)
$169.99
Diseases of the Sinuses
$39.99
Leitlinien, Richtlinien und Gesetz
$119.99
The Unforgotten Sisters
$89.99
Surface Chemistry of Aqueous Corrosion Processes
$54.99
Computer Science Logic
$39.99
Model-Based Testing of Reactive Systems
$54.99
Handbuch der Jugendforschung
$59.99
Nonlinear MHD Waves and Turbulence
$39.99
Security and Data Storage Aspect in Cloud Computing
$84.99
Multicarrier Modulation with Low PAR
$84.99
Application of Big Data, Blockchain, and Internet of Things for Education Informatization
$129.99
Bioluminescence: Fundamentals and Applications in Biotechnology - Volume 1
$219.99
The Architecture of Scientific Software
$169.00
Machine Learning for Text
$69.99
Staging Gertrude Stein
$54.99
Biotechnology of Antibiotics and Other Bioactive Microbial Metabolites
$169.99
Spektroskopie II / Spectroscopy II
$44.99
Was geschieht im Rechnungswesen?
$69.99
Well-Being Over the Life Course
$69.99
Certified OpenStack Administrator Study Guide
$24.99
Statistische Informationstechnik
$64.99
Advances in Visual Computing
$54.99
Die Konstitution einiger rheinischer und bayrischer Trasse
$59.99
Politik, Wirtschaft und Gesellschaft in der DDR
$64.99
Kompensation thermisch bedingter Bearbeitungsfehler durch prozenahe Qualittsregelung
$84.99
