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
Physiology and Molecular Biology of Stress Tolerance in Plants
$169.00
Information Theoretic Security
$39.99
Internationalizing the Curriculum in Organizational Psychology
$109.99
Nonarchimedean and Tropical Geometry
$329.99
Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter
$59.99
Aristotle on Method and Metaphysics
$139.99
Local Induction
$39.99
Next Generation Information Technologies and Systems
$39.99
Delivering Aid Without Government
$54.99
Land Acquisition in Asia
$109.99
UK Business and Financial Cycles Since 1660
$49.99
The Structures of Mathematical Physics
$39.99
The Power of Click Chemistry for Molecular Machines and Surface Patterning
$84.99
Hagers Handbuch der pharmazeutischen Praxis
$99.99
The American Experience with Alcohol
$109.99
Menschen pflegen
$37.99
Knowledge and Language
$39.99
Social Contracts and Economic Markets
$84.99
User Experience Design
$84.99
The Hash Function BLAKE
$99.99
Fine Structure Immunocytochemistry
$109.99
Renewable Energy and Climate Change
$219.99
Allgemeine Physiologie
$59.99
An Introduction to Functional Analysis in Computational Mathematics
$54.99
Modern High Temperature Science
$84.99
Vertriebsoptimierung in Banken
$39.99
Die Unfallstation der 1. chirurgischen Klinik der Universitt Wien
$54.99
Foundations of Information and Knowledge Systems
$59.99
Genetic Programming
$39.99
Astronomical Origins of Life
$169.99
Advanced Methods for Groundwater Pollution Control
$109.99
Traffic Control and Transport Planning:
$219.99
Management vs. Employees
$32.99
Psychoanalyse und Psychotherapie in der Vergangenheit und Gegenwart
$44.99
Ultraschallfibel
$69.99
Probabilistic Number Theory II
$84.99
Climate Change Effects and Sustainability Needs
$159.99
Biostrmungsmechanik
$39.95
Depression und Manie
$39.99
Intelligent Computing Systems
$109.99
