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 Comparative Reception of Relativity
$219.99
Analysis for Applied Mathematics
$99.99
Programming Languages and Systems
$54.99
Cultural Goods and the Limits of the Market
$84.99
Kriegsaphorismen eines Dermatologen
$74.99
Positionierung und Interaktion
$49.99
Neuroimaging of Consciousness
$109.99
Kindler Kompakt: Mrchen
$19.99
Die Gesellschaft Deutscher Neurologen und Psychiater im Nationalsozialismus
$59.99
Produktdatenmanagement Anforderungen und Lsungen
$69.99
Navigating the Energy Maze
$99.99
Macroscopic Quantum Coherence and Quantum Computing
$129.00
Errors in Imaging
$39.99
Guided Reading Level R Pack 2
$79.00
geo@web
$39.99
May PreK-K Printable Packet
$4.99
Shaping Corporate Culture
$64.99
Untersuchungen ber das Schaben von Zahnrdern mit kleinen berdeckungsgraden
$59.99
Spectral Theory of Random Schrdinger Operators
$29.99
Groupware: Design, Implementation, and Use
$54.99
Kontraktgestaltung bei M&A-Transaktionen
$69.99
Nhe, Distanz und Anonymitt - Untersuchungen zum sein-Modalpassiv und Gerundiv
$69.99
Single-Valued Neutrosophic Graphs
$109.99
Software Engineering - ESEC/FSE '99
$39.99
Sexarbeit als transnationale Zone der Prekaritt
$39.99
The Present Status of the Quantum Theory of Light
$169.00
Bifurcation: Analysis, Algorithms, Applications
$54.99
The Fertility of Migrants and Minorities in Europe
$89.99
Philosophy of the Economy
$54.99
In Vitro Haploid Production in Higher Plants
$219.99
The Financial Crisis
$84.99
Earths of Distant Suns
$29.99
Knowledge, Complexity and Innovation Systems
$169.99
Mathematiklernen in der Grundschule
$19.99
Making the British Muslim
$109.99
Katharsis
$59.99
Elektrochemie II
$49.99
Heroism and the Changing Character of War
$129.99
Thucydides and Political Order
$109.99
On Competition in Economic Theory
$99.00
