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
Post-Quantum Cryptography
$39.99
Gravity and Geoid
$109.99
Build Your Own IoT Platform
$49.99
Post-Traumatic Arthritis
$109.99
Understanding Psychological Bonds between Individuals and Organizations
$109.99
Apoptosis Methods and Protocols
$89.00
Harry Potter: Wizards Unite: Official Game Guide
$7.49
Building Community and Family Resilience
$89.99
Antibacterial Drugs Today
$54.99
Motivating Cooperation and Compliance with Authority
$109.99
Postwar Japanese Economy
$84.99
The Kinetic Theory of Inert Dilute Plasmas
$109.99
Zur Neuausrichtung der Preis- und Qualittsregulierung in der deutschen Wasserwirtschaft
$39.99
Interdisziplinre Jugendforschung
$39.99
Internet of Things Based Smart Healthcare
$199.99
Jugend und Wohnen
$49.99
The Demography of Europe
$169.99
Economic Management and French Business
$54.99
Emotionen und politisches Urteilen
$64.99
Towards an Ecology of Brain
$84.99
SQL Server Integration Services Design Patterns
$99.99
Der Siemens-Martin-Ofen
$59.99
Times of Convergence. Technologies Across Learning Contexts
$39.99
Historical Perspectives to Postglacial Uplift
$54.99
Kreditrisikomessung bei Projektfinanzierungen durch Risikosimulation
$69.99
Principles and Practice of Constraint Programming - CP 2001
$84.99
The Southern Central Andes
$39.99
Computers Helping People with Special Needs
$54.99
Wireless Communications
$129.00
Digital Technology in Service Encounters
$109.99
The Electric Car
$89.99
Bisociative Knowledge Discovery
$59.99
Economic Decision Analysis
$59.99
Terrorismus im Spielfilm
$74.99
Functional Limb Salvage
$159.99
Nachhaltigkeitsmanagement - Handbuch fr die Unternehmenspraxis
$19.99
Nineteenth-Century Anti-Catholic Discourses
$39.99
A New Construction of Ricardian Theory of International Values
$139.99
Cosmic Debris
$37.99
Spain and the Wider World since 2000
$99.99
