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
Bridging the Skills Gap
$84.99
Connecting Brand Identity and Consumer-Based Brand Equity for Tourism Destinations
$119.99
Urbanization and Urban Governance in China
$109.99
Stoffliche Nutzung von Braunkohle
$149.00
The Biotech Business Handbook
$249.99
MultiMedia Modeling
$109.99
Geometrie und Algebra im Wechselspiel
$37.99
Life-Like Characters
$169.99
Intensified Land and Water Use
$159.99
Die Betriebs Unterbrechungs Versicherung
$74.99
Mayflies and Stoneflies: Life Histories and Biology
$219.99
Georg Cantor
$69.95
Moral Change
$79.99
Interferon Methods and Protocols
$84.99
Waldbau auf kologischer Grundlage Ein Lehr- und Handbuch
$59.99
Handbuch Changemanagement im Krankenhaus
$169.99
Responsible Lobbying
$54.99
Global Competition and Integration
$169.00
Mechanism and Machine Science
$169.00
Fundamentals of Music Processing
$54.99
Mathematical Tools for Data Mining
$199.99
Data Analysis with Machine Learning for Psychologists
$139.99
Advances in Information Security and Assurance
$109.99
Europe's New Fiscal Union
$84.99
Notfallmanagement in Kommunikationsnetzen
$37.99
Erziehungsberatung und Wandel der Familie
$44.99
Engaging with Human Rights
$32.99
Sturm-Liouville Theory
$129.00
Catalysis in Chemistry and Biochemistry Theory and Experiment
$169.99
Schutz von Unternehmensdaten bei der Erbringung von E-Services
$69.99
Weltweite Welten
$59.99
Contesting Globalization and Internationalization of Higher Education
$169.99
Inside Company Valuation
$54.99
Zukunft der Selbstverwaltung
$39.99
Poor Puppy
$5.21
Integration und Konflikt die Prosa Heinrich Heines im Kontext oppositioneller Literatur der Restaura
$74.99
How to Catch.: How to Catch a Class Pet
$3.71
Our Fragmented World
$39.99
Bepreisen von Preis- und Mengenrisiken der Strombeschaffung unter Bercksichtigung von Portfolioaspe
$69.99
Simulation-Based Algorithms for Markov Decision Processes
$109.99
