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
Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1
$259.00
Hhere mathematische Methoden fr Ingenieure und Physiker
$59.99
Die elektrische Kraftbertragung
$59.99
Artificial Intelligence for a Better Future
$37.99
Ebola Virus Disease
$109.99
Handbuch Umweltsoziologie
$109.00
A Year in the Life of a Third Space Urban Teacher Residency
$39.99
Skateboarding and Religion
$99.99
Physical Chemistry of Organic Solvent Systems
$109.99
MRI
$109.99
Patterns and Processes in Forest Landscapes
$219.99
Verteilte Basisalgorithmen
$59.99
Binnenverkehrswasserbau
$99.00
Challenges and Trends in Multimodal Fall Detection for Healthcare
$84.99
Gute Kinderschutzverfahren
$49.99
Chiu Chang Suan Shu / Neun Bcher Arithmetischer Technik
$64.99
Theorie Technischer Systeme
$59.99
Women and Domestic Space in Contemporary Gothic Narratives
$89.00
Resilienz-Coaching
$49.99
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
$54.99
The Toarcian Oceanic Anoxic Event in the South Iberian Palaeomargin
$54.99
Continental Drift, Secular Motion of the Pole, and Rotation of the Earth
$54.99
Erfolgsfaktoren beruflicher Weiterbildung
$49.99
Financial Crisis and Bank Management in Japan (1997 to 2016)
$129.00
Energy Transduction in Biological Membranes
$54.99
Developing Embedded Software using DaVinci and OMAP Technology
$29.99
Critical Rehabilitation for Partial and Total Knee Arthroplasty
$169.99
Glamour- 30 Years of Women Who Have Reshaped the World by Glamour Magazine
$40.00
Learners in a Changing Learning Landscape
$169.99
Noncommutative Harmonic Analysis
$39.99
Doing Security
$119.99
Headway in Spatial Data Handling
$329.99
Regelungstopologie fr R-744-Wrmepumpen in Kraftfahrzeugen
$59.99
Thermo-and Fluid-dynamic Processes in Diesel Engines
$219.99
Klinische Psychotherapie
$84.99
Mathematik fr Informatiker
$59.99
Scanning Tunneling Microscopy III
$109.99
The Concept of Existence in the Concluding Unscientific Postscript
$109.99
Die Entwicklung regelbarer permanentmagnetischer Elektronenlinsen hoher Brechkraft und eines mit ihn
$59.99
Performing Hybridity in Colonial-Modern China
$54.99
