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
Teil 1 Sexualitt zwischen Phantasie und Realitt Teil 2 Qualittssicherung
$69.99
Metric Structures for Riemannian and Non-Riemannian Spaces
$109.00
Insect Behavior
$84.99
Information Technologies and Intelligent Decision Making Systems
$69.99
Technische Chemie fr Maschinenbauschulen
$49.99
On the Theory and Policy of Systemic Change
$109.99
Monetary Union in Crisis
$109.99
Spezielle Relativittstheorie heute
$39.99
Homicide Data Sources
$39.99
Algorithms and Complexity
$39.99
Digital Customer Experience Engineering
$64.99
Municipal Power and Population Decline in Japan
$84.99
Homogeneous Spaces and Equivariant Embeddings
$119.00
Fhrung lernen
$54.99
The Political Economy of Globalization
$169.99
Component-Based Software Engineering
$54.99
Fuerza y movimiento en el trabajo
$5.21
Road Vehicle Automation
$109.99
An Introduction to Smooth Manifolds
$84.99
Fallgeschichten Demenz
$39.99
Role of Nitric Oxide in Sepsis and ARDS
$109.99
Frauen: Arbeit und Individualisierung
$59.99
Dao Companion to Liang Shumings Philosophy
$139.99
Distributed Programming
$54.99
You Must Be Very Intelligent
$44.99
Aus der neueren mathematischen Wahrscheinlichkeitslehre
$54.99
What Is Zoopoetics?
$159.99
Hi-Five Animals!
$5.99
Erzhlhorizonte
$79.99
Reactive Search and Intelligent Optimization
$109.99
Outer Space in Society, Politics and Law
$249.99
Bacterial Activation of Type I Interferons
$84.99
Soils of the Past
$54.99
Conceptual Shifts and Contextualized Practices in Education for Glocal Interaction
$109.99
Illicit Financial Flows
$59.99
Globalization, Self-Determination and Violent Conflict
$109.99
Plant demography in vegetation succession
$219.99
Humanbiologie fr Lehramtsstudierende
$44.99
Anatomie kompakt
$49.99
Die blaue Paprika
$24.99
