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 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
Reviews
Questions & Answers
International Climate Negotiation Factors
$84.99
Parents, Media and Panic through the Years
$59.99
Einfhrung in Optimierungsmodelle
$29.99
Mathematical Models of Distribution Channels
$169.00
International Congress on Energy Efficiency and Energy Related Materials (ENEFM2013)
$129.00
Felix Hausdorff - Gesammelte Werke Band III
$119.00
Faulting in Brittle Rocks
$169.99
Guide to Basic Electrocardiography
$54.99
China's Solution to Its Ethno-national Issues
$39.99
Molecular Biology of Acute Lung Injury
$129.00
Conflicts of Criminal Jurisdiction and Transfer of Proceedings in the EU
$159.99
Computer Vision ECCV 2024
$64.99
Making Sense of Statistical Mechanics
$64.99
Designing Quantitative Experiments
$54.99
Theoretical Molecular Biophysics
$64.99
Der Tirrillregler
$59.99
The Chain Straighteners
$29.99
Ein Beitrag zur Medatenverarbeitung in der Koordinatenmetechnik
$64.99
Fehlzeiten-Report 2011
$84.99
Springer Handbook of Bio-/Neuro-Informatics
$349.99
Money, Migration, and Family
$54.99
Modelling Techniques for Business Process Re-engineering and Benchmarking
$219.99
Energy Storage Systems
$109.99
Brain Drain
$109.99
Glaucoma Imaging
$179.99
Geoarchaeology and Archaeological Mineralogy
$219.99
Einfhrung in die Krankenhaus-Kostenrechnung
$34.99
Wohlfahrtsstaat Transformation und Perspektiven
$59.99
Numerical Simulation of Mechatronic Sensors and Actuators
$109.00
Frailty in Children
$169.99
Intelligent Computing in Bioinformatics
$39.99
Genetic Disorders Among Arab Populations
$219.99
Adaptive Sports Medicine
$169.99
Cell Therapy for Brain Injury
$169.99
Biographizitt und Professionalitt
$74.99
Dutch Interbellum Canons and World Literature A. Roland Holst, M. Nijhoff, J. Slauerhoff
$99.00
Computer Applications in the Earth Sciences
$39.99
Geologisches Wrterbuch
$64.99
Practice questions in Psychopharmacology
$54.99
Real Time Control Engineering
$139.99
