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
Applying Translation Theory to Musicological Research
$99.00
Deutsches Rechtswrterbuch Band 13, Einbanddecke
$29.99
Luminescence Signal Analysis Using Python
$139.00
Physik fr das Ingenieurstudium
$29.99
Embodiment and Education
$109.99
Clinical Management of Malignant Melanoma
$169.99
The Individual Subject and Scientific Psychology
$169.99
The Initiation of DNA Replication in Eukaryotes
$89.00
Physik im Experiment
$39.99
Elektrische Metechnik
$49.99
The Disposal and Recycling of Scrap Metal from Cars and Domestic Appliances
$39.99
Evolutionary Epistemology
$219.00
Operativity And Typicality
$64.99
Kiranmala and the Kingdom Beyond: The Serpent's Secret
$6.74
Die Macht der Banken
$49.99
Friedliche Nutzung der Kernenergie
$59.99
Hematologic Cancers: From Molecular Pathobiology to Targeted Therapeutics
$169.99
Basiswissen Gynkologie und Geburtshilfe
$37.99
Beitrag zum experimentellen Problem der Messung schneller Elektrodenvorgnge
$59.99
Umgang mit fremden Kulturen
$59.99
Franzsische Literatur in Einzeldarstellungen, Band 3: Von Proust bis Robbe-Grillet
$39.99
Public Goods, Environmental Externalities and Fiscal Competition
$169.99
Maintenance Overtime Policies in Reliability Theory
$84.99
Innovation in der Betriebswirtschaftslehre
$59.99
Structure and Evolution of Galaxies
$39.99
In Vitro Fertilization
$219.99
Sonographie in der Gastroenterologie
$69.99
Prostacyclin and Hypertension
$54.99
An Introduction to Operator Polynomials
$39.99
Die Filterung der Atemluft und deren Bedeutung fr Staubkrankheiten
$59.99
Cosmical Magnetism
$84.99
Ermittlung der Zusammensetzung technischer Brenngase, insbesondere der in ihnen enthaltenen Kohlenwa
$54.99
Strukturierung von flexiblen Bediensystemen fr numerische Steuerungen
$69.99
Plato's Problem
$59.99
LOGIDATA+: Deductive Databases with Complex Objects
$39.99
Malignant Lymphomas: Biology and Treatment
$84.99
Biosensors: Developments, Challenges and Perspectives
$199.99
Bevlkerung, Ungleichheit, Auslese
$69.99
Mit TRIZ zur Erfindung
$119.99
After Effects Most Wanted
$54.99
