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
Radical Social Change in the United States
$109.99
Packaging in the Environment
$74.99
The Transpersonal in Psychology, Psychotherapy and Counselling
$84.99
3rd International Multidisciplinary Microscopy and Microanalysis Congress (InterM)
$169.99
Fruitful Economics
$54.99
Shallow Water Hydraulics
$109.00
Systems, Software and Services Process Improvement
$39.99
Hochdynamische Strahllagekorrektursysteme zur Erhhung der Bahngenauigkeit von CO2-Laserbearbeitungs
$59.99
Foundation 3ds Max 8 Architectural Visualization
$54.99
Food Day: Pizza Day
$4.46
Sex, Violence and the Body
$54.99
Advances in Plastination Techniques
$139.99
Plant Adaptation Strategies in Changing Environment
$169.99
Beginning VB 2008 Databases
$34.99
Contributions to Networked and Event-Triggered Control of Linear Systems
$109.99
The Shape of Future Technology
$54.99
The Atlantic Charter
$109.99
BASIC in der medizinischen Statistik
$69.99
Solar Sketching
$44.99
Die NATO im Funktions- und Bedeutungswandel
$17.99
Drei-Bode-Plots-Verfahren fr Regelungstechnik
$44.99
Tunnel und verdeckte Kanle im Netz
$39.99
Rick Riordan Presents - A Tristan Strong Novel: Tristan Strong Destroys the World
$6.71
Cellular Drug Delivery
$169.99
Big Data Analytics
$69.99
Hyperbolic Problems: Theory, Numerics, Applications. Volume II
$199.99
Electrical Design of a 400 kV Composite Tower
$109.99
Development and Foreign Policy in Turkey
$119.99
Soup Day
$4.46
HNO Rntgen-Aufnahmetechnik und Normalbefunde
$54.99
Radiobiology and Environmental Security
$219.99
Medical Assistance in Dying (MAID) in Canada
$139.99
Distributed MIMO and Cell-Free Mobile Communication
$84.99
Advanced Manufacturing Processes V
$329.99
Theatre, Youth, and Culture
$39.99
Unicorn Club
$4.49
Die regierbare Stadt
$59.99
Seeking Transformation Through Information Technology
$109.99
Projektmanagement fr Kulturmanager
$39.99
Echokardiographie-Handbuch
$79.99
