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
The Normative and the Natural
$109.99
Ein soziales Europa ist mglich
$59.99
Die Werksgemeinschaft in historischer und soziologischer Beleuchtung
$59.99
Atlas der Normalen und Pathologischen Handskeletentwicklung
$44.99
Building a Data Warehouse
$59.99
Financial Literacy Grades 3-5
$44.00
Behavioral Consultation and Primary Care
$59.99
Reason, Life, Culture
$129.00
Politische Stabilitt und Konflikt
$69.99
Truly Madly Royally
$7.49
Seismic Behaviour and Design of Irregular and Complex Civil Structures IV
$149.00
Simulationstechnik
$69.99
Tter im Internet
$59.99
Recent Advances in Science and Technology of Materials
$39.99
Food Security and Sustainability
$139.99
Clerical Sexual Abuse
$54.99
Digital Finance
$159.99
Die asynchronen Drehstrommaschinen mit und ohne Stromwender
$59.99
Untersuchungen ber die experimentelle Beeinflubarkeit von Wachstumsvorgngen bei vegetativer Fortp
$59.99
Pro iPhone Development with Swift 5
$34.99
ber die physikalische und philosophische Atomenlehre
$59.99
Approximate and Renormgroup Symmetries
$109.99
Something New Under the Sun
$19.99
Control of Human Voluntary Movement
$169.99
Clinical Aspects of Microdialysis
$39.99
Springer Handbook of Medical Technology
$269.00
Lectures on Algebraic Geometry I
$59.99
Childhood Leukemia
$129.00
Das Vieweg LATEX-Buch
$54.99
Let's Nap! by Rachael McLean
$8.99
Advances in Tourism, Technology and Systems
$189.00
The Basal Forebrain
$39.99
Regionalmarketing
$49.99
Digitalisierung im stationren Reisevertrieb
$84.99
Local Democracy and Politics in South Asia
$59.99
Ernhrung und Lebenshaltung Des Deutschen Volkes
$59.99
Peatlands
$54.99
Lessons From Fukushima
$119.99
Social Reproduction, Solidarity Economy, Feminisms and Democracy
$169.99
African Legal Theory and Contemporary Problems
$129.00
