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
Manners, Morals, and Medical Care
$49.99
Standort- und Belegungsplanung fr Maschinen in mehrstufigen Produktionsprozessen
$64.99
Fourth Generation Mobile Communication
$54.99
Lady Gregory
$74.99
The English Civil War and after, 16421658
$54.99
Investment Style
$39.99
Migration und Bildungserfolg
$69.99
Argentina Australia And Canada
$19.99
Stabilitt und Matrizen
$59.99
Interfacial Transport Phenomena
$219.99
UWB Communication Systems: Conventional and GHz
$109.99
Progress in the Chemistry of Organic Natural Products
$39.99
Karriereberatung. Coachingmethoden fr eine kompetenzorientierte Laufbahnberatung
$49.99
Economics of the Food Processing Industry
$84.99
Wie Beurteilt Man Eine Bilanz?
$54.99
Internal Branding im Krankenhaus
$119.99
Der Aufsichtsrat im System der Corporate Governance
$89.95
Advances in Financial Risk Management
$109.99
Operator Approximant Problems Arising from Quantum Theory
$54.99
Performance Measurement und Management
$84.99
Holography in Medicine and Biology
$39.99
Frankenstein (Barnes & Noble Signature Classics) by Mary Shelley
$9.99
Goosebumps SlappyWorld: Judy and the Beast (#15)
$5.24
Model Based Parameter Estimation
$84.99
Morphine and Metastasis
$84.99
Open Systems and Measurement in Relativistic Quantum Theory
$84.99
Design and Modeling of Mechanical Systems - V
$189.00
The Fiction of Ruth Prawer Jhabvala
$24.99
Analysis by Its History
$74.95
Biochemical Sites of Insecticide Action and Resistance
$169.99
Multiscale Mechanobiology of Bone Remodeling and Adaptation
$99.00
Storytelling
$39.99
Regional Organizations and Social Policy in Europe and Latin America
$54.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII
$54.99
Religise Migrantengemeinden und ihre Dienstleistungen fr ltere Menschen
$79.99
Climate Variability and Change in Africa
$84.99
Applications of Neural Networks in High Assurance Systems
$129.00
Pdiatrie
$69.99
Noncommutative Iwasawa Main Conjectures over Totally Real Fields
$149.00
Exon Skipping
$199.99
