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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
Reviews
Questions & Answers
Global Perspectives of Nanoscience and Engineering Education
$109.99
Development Disparities in India
$54.99
Information and Communication Technologies
$109.99
Zum Aufbau altindischer Sanskritwrterbcher der vorklassischen Zeit
$59.99
Aktuelle Neurologie und Psychiatrie
$46.10
Logics and Models of Concurrent Systems
$109.99
Immunobiology of the Head and Neck
$39.99
The Hazard from Dangerous Exotic Diseases
$39.99
What Works in Crime Prevention and Rehabilitation
$99.00
Gymnasiale Bildung zwischen Kompetenzorientierung und Kulturarbeit
$49.99
Fiscal responsibility in constitutional democracy
$39.99
Trends in Intelligent Robotics
$39.99
Fault Diagnosis and Fault Tolerance
$109.99
Brownfield Transformation in Fragile Territories
$44.99
Statistical Image Processing and Multidimensional Modeling
$129.00
Multiple Abstraction Hierarchies for Mobile Robot Operation in Environments
$84.99
Spiritualitt kontrovers
$29.99
Kryptographie in C und C++
$39.99
Queerly Cosmopolitan
$59.99
Advancements in Mechatronics and Intelligent Robotics
$249.99
Neuromedia
$37.99
The Gilded Age Construction of Modern American Homophobia
$54.99
Future Skill Vielseitigkeit
$19.99
Relational Economics
$54.99
Applied Numerical Methods for Partial Differential Equations
$64.99
Part-Whole Reasoning in an Object-Centered Framework
$39.99
The Evolutionary Invisible Hand
$84.99
Managing Relocation
$129.00
A Course in BE-algebras
$79.99
The Vascular Pole of the Renal Glomerulus of Rat
$109.99
Mobile Internet Security
$39.99
Die Universalbank
$69.99
Animation mit Mathematica
$59.99
An Integrative Approach to Clinical Social Work Practice with Children of Incarcerated Parents
$79.99
Diet and Cancer
$129.00
Global Outsourcing Discourse
$129.99
Fernsehkultur
$69.99
DNA Vaccination/Genetic Vaccination
$84.99
The Megabook Of Fluency (30-copy pack)
$1,057.20
Redefining Nationalism in Modern China
$109.99
