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
Experimental Approaches of NMR Spectroscopy
$299.00
Regge Poles in Particle Physics
$39.99
Soziale Gerechtigkeit
$54.99
Diseases of the Esophagus
$39.99
The Poetry of Mary Robinson
$54.99
Minimal Residual Disease and Circulating Tumor Cells in Breast Cancer
$169.99
Automotive Electromagnetic Compatibility (EMC)
$129.00
Source Coding Theory
$54.99
Africa and the Sustainable Development Goals
$129.99
Direct Myocardial Revascularization: History, Methodology, Technology
$129.00
The DNA of Customer Experience
$69.99
Grundzge der Elektrochemie auf experimenteller Basis
$59.99
Artificial Intelligence
$39.99
Space Robotics: Dynamics and Control
$129.00
Religionssoziologie
$39.99
Betriebliches Personalwesen
$59.99
William Forsythes Postdramatic Dance Theater
$89.00
Erste Schritte in der Psychotherapie
$59.99
Grundlagen der postoperativen Ernhrung
$69.99
Semantic Methods for Knowledge Management and Communication
$169.99
The Global Political Economy and Post-1989 Change
$54.99
A Flow-of-Funds Perspective on the Financial Crisis Volume II
$84.99
Raumbegriff und Raumordnung
$17.99
Rasse und Ethnizitt
$64.99
Denken in Metaphern
$64.99
Radical Environmentalism
$54.99
Beschaffungs- und Lagerwirtschaft
$69.95
New Frontiers of Nanomaterials in Environmental Science
$109.99
Politics of Mega-Events in China's Hong Kong and Macao
$54.99
Die radioaktive Strahlung als Gegenstand wahrscheinlichkeitstheoretischer Untersuchungen
$59.99
That's not my bat... A Halloween Book for Kids by Fiona Watt
$10.99
Denker ohne Gott und Vater
$39.99
Early Osteoarthritis
$84.99
Diskurse der deutschen Einheit
$64.99
Models and Algorithms for Genome Evolution
$84.99
Multi-Robot Systems: From Swarms to Intelligent Automata
$109.99
Analyse des weltweiten Energiebedarfs zum Heizen und Khlen von Elektrofahrzeugen
$29.99
Erfolgreich Reorganisieren
$59.99
Untersuchungen ber die Schnellverbrennung und Schnellvergasung fester Brennstoffe
$59.99
The Pilgrims Of Plimoth
$6.50
