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
Physics of Disordered Materials
$84.99
Design, Representations, and Processing for Additive Manufacturing
$39.99
Biomarkers of Cardiometabolic Risk, Inflammation and Disease
$109.99
Regional Competition Law Enforcement in Developing Countries
$139.99
Dynamics of Molecular Collisions
$39.99
Books Across Borders
$89.99
Kufliches Alter(n)
$34.99
G Protein-Coupled Receptor Signaling in Plants
$109.99
Intracontinental Fold Belts
$109.99
Nuclear Weapons-Free Zones
$109.99
The Discovery of God
$49.95
Happiness in Children
$59.99
Mglichkeiten und Grenzen der Ermittlung von fertigungstechnischen Kennzahlen und Richtwerten
$84.99
HLA in Narcolepsy
$84.99
Applications of Block Chain technology and Artificial Intelligence
$169.99
Interpretation and Extrapolation of Reproductive Data to Establish Human Safety Standards
$109.99
Optimierte Prozesse fr die Groserie
$44.99
Food and Livelihood Securities in Changing Climate of the Himalaya
$109.00
Medico-Legal Issues in Infectious Diseases
$129.00
Host-Fungus Interactions
$219.99
The Rat as Animal Model in Breast Cancer Research
$219.99
Multiculturalism and Conflict Reconciliation in the Asia-Pacific
$31.00
Erfolgssteuerung und Organisation
$54.99
Smart Learning Solutions for Sustainable Societies
$129.00
Shed Tears for Diagnostics
$29.99
Knowing the Salween River: Resource Politics of a Contested Transboundary River
$59.99
Cash Flow Management
$44.99
The Finite Element Analysis of Shells - Fundamentals
$189.00
Business Process Management
$99.00
Brexit, President Trump, and the Changing Geopolitics of Eastern Europe
$179.99
Charles Taylor and Anglican Theology
$129.99
Todos mis amigos son planetas
$5.21
The Physics of Musical Instruments
$119.99
Lark Holds the Key
$5.96
The Philosophy of Language
$109.99
Leben und Wesen der Bienen
$59.99
Client/Server-Anwendungen
$69.99
Isotopic Proveniencing and Mobility
$109.00
Das Kleine Drosophila-Praktikum
$59.99
Social, Cultural, and Behavioral Modeling
$54.99
