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
Simulation-Based Case Studies in Logistics
$109.99
Macroeconomic Management
$84.99
Advances in Databases and Information Systems
$39.99
Principles for Governance
$139.00
Firewalls Don't Stop Dragons
$29.99
Evidence-Based Critical Care
$109.00
Direkt-Marketing bei Banken
$59.99
Deutsches Verfassungsrecht 1806 - 1918
$379.99
Computational Linguistics
$109.99
Der Jungkaufmann im Examen
$54.99
Poetics of Curriculum, Poetics of Life
$39.99
Grundlagen der Hydromechanik
$59.99
Das Sperrzeitmodell in der Fahrplankonstruktion
$17.99
Partnerschaft und Familiengrndung
$69.99
Verteilte Laufzeitverifikation auf eingebetteten Systemen
$49.99
Text, Speech and Dialogue
$54.99
Multi-Agent Programming
$129.00
Saturday Night Live, Hollywood Comedy, and American Culture
$54.99
Ergebnisse psychologischer Untersuchungen am Unfallort
$59.99
Major Companies of Europe 1993/94
$74.99
What Is the Truth About the Great Recession and Increasing Inequality?
$19.99
Viscosity of Pure Organic Liquids and Binary Liquid Mixtures
$549.99
Reading the Body in the Eighteenth-Century Novel
$54.99
Models of the Visual System
$219.99
Application of Remote Sensing and GIS in Natural Resources and Built Infrastructure Management
$169.99
Agricultural Waste: Environmental Impact, Useful Metabolites and Energy Production
$329.99
Hygiene und Infektionsprvention. Fragen und Antworten
$39.99
High-Power Lasers and Laser Plasmas / Moshchnye Lazery I Lazernaya Plazma /
$39.99
Now You Know.: Now You Know How It Works (Hardcover)
$13.49
Regional Resilience to Climate and Environmental Shocks
$39.99
Fundamentals of Quantum Computing
$54.99
Teacher Professional Development in Changing Conditions
$129.00
Research on Alcoholism Treatment
$129.00
Marktorientierte Unternehmenskultur
$59.99
Target Discovery and Validation Reviews and Protocols
$89.00
Algebraic and Geometric Methods in Nonlinear Control Theory
$109.99
Renormalization
$89.99
Women and Prison
$109.00
Wave Propagation Approach for Structural Vibration
$109.99
The Goals of Sustainable Development
$99.00
