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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Reviews
Questions & Answers
Pandemic Cities
$84.99
Entstehung der mechanischen Festigkeit bei feuerfesten Erzeugnissen whrend des Trocknens
$59.99
Real and Abstract Analysis
$39.99
CIMMIT 2000 Jahrbuch Immobilien
$54.99
Constructing Post-Imperial Britain: Britishness, 'Race' and the Radical Left in the 1960s
$39.99
Humankologische Perspektiven in der Gesundheitsfrderung
$69.99
Iatrogenic Disorders of the Fetus, Infant, and Child
$84.99
Public Happiness
$169.99
Ionen in Nichtwssrigen Lsungen
$74.99
Philosophy: Key Themes
$54.99
The Heroin Stimulus
$84.99
Subsidies in the Context of the WTO's Free Trade System
$99.00
Gute Lehre in der Hochschule
$59.99
The Four Faces of the Republican Party and the Fight for the 2016 Presidential Nomination
$54.99
Advances in Neural Networks - ISNN 2006
$109.99
The Bottom of the Main Sequence And Beyond
$84.99
Autonomic Computing and Networking
$169.99
Normal and Abnormal Prepuce
$84.99
Income Modeling and Balancing
$39.99
Affective Touch and the Neurophysiology of CT Afferents
$249.99
Cosmopolitan Education and Inclusion
$59.99
Principled Resistance to ECtHR Judgments - A New Paradigm?
$139.99
Properties of QCD Matter at High Baryon Density
$179.99
The Sarkozy Presidency
$54.99
EURASIP Directory 1983
$129.00
Aspects of Brazilian Floristic Diversity
$199.99
Lie Groups and Algebras with Applications to Physics, Geometry, and Mechanics
$139.99
Berufsstartprobleme junger Facharbeiter und Facharbeiterinnen in Nordrhein-Westfalen
$59.99
Perspectives on the Architecture and Acquisition of Syntax
$129.99
Knowledge Science, Engineering and Management
$89.00
Rotordynamics of Automotive Turbochargers
$109.00
Shakespeare and Cognition
$54.99
Managing Risks in the Railway System
$79.99
Mutationstheorie der Geschwulst-Entstehung
$59.99
The Regicides and the Execution of Charles 1
$109.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX
$39.99
Thermal and Mineral Waters
$84.99
Shellfish Processing and Preservation
$169.99
Bolvars Afterlife in the Americas
$84.99
International RILEM Conference on Synergising Expertise towards Sustainability and Robustness of Cem
$299.00
