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 refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Reviews
Questions & Answers
Auditory and Vestibular Research
$169.99
Internationales Umweltmanagement und europische Integration
$49.99
Nicotinic Acetylcholine Receptor Technologies
$89.00
Green and Lean Management
$109.99
CATIA V5 - Praktikum
$54.99
Intelligent Information and Database Systems
$54.99
Fachbegriffe Rechnungswesen und Steuerrecht
$17.99
A Geometrical Picture Book
$109.00
All Around the Nose
$219.99
Land-Atmospheric Research Applications in South and Southeast Asia
$219.99
Urban Regeneration and Community Empowerment Through ICTs
$39.99
Robot Motion and Control 2007
$169.99
Medizinische Mikrobiologie und Infektiologie
$64.99
Initiation of Educators into Educational Management Secrets
$54.99
PRICAI 2012: Trends in Artificial Intelligence
$39.99
Data-Centric Business and Applications
$139.99
Globalization and the State: Volume II
$84.99
Regulating Technological Innovation
$54.99
Digitales Storytelling
$37.99
Skin Cancer
$169.99
Passive Optical Resonators for Next-Generation Attosecond Metrology
$54.99
Advanced Materials
$219.99
Photosynthesis Research Protocols
$74.99
Effect of Spaceflight and Spaceflight Analogue Culture on Human and Microbial Cells
$169.99
Current Perspectives of the Extracorporeal Circulation
$109.99
Betriebswirtschaftslehre und Managementlehre
$69.95
Risk - A Multidisciplinary Introduction
$39.99
Water Safety, Security and Sustainability
$169.99
Flash Fiction America- 73 Very Short Stories by James Thomas Editor
$16.95
Bizzy Mizz Lizzie (Hardcover)
$14.24
Das BUCH der Beweise
$44.99
Clinicians Manual on Lupus
$54.99
Surface Mobilities on Solid Materials
$39.99
Physical Properties and Thermodynamic Behaviour of Minerals
$259.00
Osteoporosis
$69.99
Bond Graph Modelling of Engineering Systems
$149.00
The Paradox of Existence
$84.99
Baukosten sicher ermitteln Mit Praxisbeispiel Mehrfamilienhaus
$17.99
Single Cell Transcriptomics
$129.00
Aufgabensammlung Elektrotechnik 2
$54.99
