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
Coronary Heart Disease
$169.00
Biogas Energy
$39.99
Electron-Molecule and Photon-Molecule Collisions
$54.99
Connections, Cognition and Alzheimers Disease
$84.99
Methods and Applications for Modeling and Simulation of Complex Systems
$39.99
Grten der Lust
$29.99
Health Care Systems in Japan and the United States
$84.99
Against All Odds- A True Story of Ultimate Courage and Survival in World War Ii by Alex Kershaw
$22.00
Advances in Information Systems
$54.99
Cinder's Flame Dragon Kingdom of Wrenly 7 by Jordan Quinn
$9.99
Geographical Variation in Waders
$169.99
Advanced Studies in Efficient Environmental Design and City Planning
$279.99
Permanent Record by Mary H. K. Choi
$11.99
Rechtsfragen der Primplantationsdiagnostik
$69.99
Proceedings of the 27th Conference of Spacecraft TT&C Technology in China
$219.99
Der Diskurs des Versagens
$59.99
Europa: Eine Frage des Geldes?
$59.99
Musik und Strae
$49.99
Moral Reasoning at Work
$31.00
Neurotransmitter Receptors
$54.99
Wege zum neuen Gesundheitssystem - "Change by Design" oder "Change by Disaster"?
$99.00
Theorising Professions
$54.99
Chemie und Umwelt
$64.99
Fundamental Aspects of Appropriate Technology
$54.99
Grundlagen der Anforderungsanalyse
$29.99
Environmental Management of Solid Waste
$84.99
Sam Shepard and the Aesthetics of Performance
$39.99
Fulleranes
$109.99
Whisperings from the Corridors
$49.99
Buprenorphine Therapy of Opiate Addiction
$169.99
Laser Processing and Analysis of Materials
$39.99
Poetry and Class
$99.99
Bestehen bei Kalkstickstoffdngung Gefahren fr die Haustiere?
$54.99
Werkzeugmaschinen Fertigungssysteme 2
$54.99
Chinese Political Thought
$109.99
Discipline and Learn
$49.99
Foundations of Disability Studies
$109.99
The Poverty of Critical Theory in International Relations
$139.99
Auswahl von Standard-Applikations-Software
$54.99
Glasfasern
$89.99
