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
Einfachste Konvergenzkriterien fr unendliche Reihen
$54.99
Lives in Peace Research
$59.99
Zur Limnologie, Entomostraken- und Rotatorienfauna des Seewinkelgebietes (Burgenland, sterreich)
$59.99
International Measurement of Disability
$129.99
Solar Composition and its Evolution from Core to Corona
$189.00
Abenteuer Informatik
$24.99
Vernderung kognitiver Prozesse in Psychoanalysen
$69.99
Investigating Forty Years of French Politics Through Value Changes
$99.00
Education and Civilization
$84.99
Statistik fr Wirtschafts- und Sozialwissenschaftler I
$22.00
Transformationen von Arbeit, Beruf und Bildung in internationaler Betrachtung
$89.99
Das Radikalisierungsparadigma
$17.99
Seaports in International Law
$49.99
Spatial Price Equilibrium: Advances in Theory, Computation and Application
$109.99
Topics on Concentration Phenomena and Problems with Multiple Scales
$54.99
Implanted Antennas in Medical Wireless Communications
$29.99
Grundkurs Programmieren mit Delphi
$29.99
Ricky Ricotta's Mighty Robot vs. the Naughty Nightcrawlers from Neptune
$5.24
Difficult Psychiatric Consultations
$54.99
Fuzzy Cognitive Maps for Applied Sciences and Engineering
$109.99
Steuerungsperipheres Diagnosesystem fr Fertigungseinrichtungen auf Basis berwachungs- gerechter Ko
$69.99
Medical Applications of Lasers
$169.99
Anticarbohydrate Antibodies
$169.99
Family Punishment in Nazi Germany
$54.99
Experimentalphysik: Mechanik
$29.99
Participatory Mangrove Management in a Changing Climate
$109.99
An Education in 'Evil'
$84.99
Sturm-Liouville Theory and its Applications
$37.99
Laser Capture Microdissection
$169.99
Computer Speech
$169.99
Customer Banking
$44.99
Die US-Prsidentschaftswahl 2012
$49.99
Plant Based Green Chemistry 2.0
$179.99
Building Evidence for Active Ageing Policies
$99.00
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
$54.99
Pigture Perfect (A Wish Novel)
$5.99
ber den Spannungszustand und die Festigkeit von Kehlnhten
$59.99
Industrial Organization
$59.99
The Effects of Financial Crises on the Binding Force of Contracts - Renegotiation, Rescission or Rev
$159.99
Organisationale Spannungen und Paradoxien in radikal selbst organisierten Unternehmen
$64.99
