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
Bioinformatik
$39.99
Online Machine Learning
$64.99
Wirkung von Social Media auf Marken
$64.99
The Symmetry Perspective
$99.99
Keynes and the Role of the State
$129.00
Treatment of Cerebral Edema
$69.99
Inborn Metabolic Diseases
$159.00
Second Wind
$84.99
Humans in Outer Space - Interdisciplinary Odysseys
$109.99
European Security, Nuclear Weapons and Public Confidence
$44.99
Modern Perspectives in Theoretical Physics
$119.99
Real Time Computing
$39.99
EU Promotion of Human Rights for LGBTI Persons in Uganda
$139.99
Towards Ensuring Inclusive and Equitable Quality Education for All
$179.99
Blue
$39.99
Crayfishes, Lobsters and Crabs of Europe
$249.99
An Introduction to Pattern Recognition and Machine Learning
$79.99
Advanced High Strength Sheet Steels
$89.00
A Guide to Lead-free Solders
$84.99
The Essential Kropotkin
$54.99
Die wirtschaftliche Bewertung der Zentrenfertigung
$69.99
Knowledge, Learning and Innovation
$84.99
Neue Kommunikationsnetze
$39.99
Das Handbuch
$49.99
Fetal and Hybrid Procedures in Congenital Heart Diseases
$199.99
Non-equilibrium Many-body States in Carbon Nanotube Quantum Dots
$109.99
The Woman's Historical Novel
$54.99
Ueber Erkennung und Beurteilung von Herzkrankheiten
$59.99
Knowledge Management in the Innovation Process
$169.99
Solar Thermal Energy Utilization. German Studies on Technology and Application
$109.99
Stahlbetonbau nach DIN 1045-1
$44.99
The Statesman's Year-Book 1986-87
$99.00
Italian Fashion since 1945
$84.99
Pathogenesis of Shigellosis
$84.99
Surrounded by Sharks
$5.99
New Aspects in the Diagnosis and Treatment of Hodgkins Disease
$84.99
Computer Tomographic Imaging and Anatomic Correlation of the Human Brain
$74.99
My First I Can Read! - Ty's Travels: Ty's Travels: All Aboard!
$4.46
The MindUP Curriculum, Grades 6-8 (10-copy pack)
$187.40
