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
The Guantnamo Artwork and Testimony of Moath Al-Alwi
$22.99
Narcosubmarines
$54.99
Die Trockenrasen im Naturschutzgebiet auf der Perchtoldsdorfer Heide bei Wien
$69.95
Living - Participating - Growing Old
$99.99
Nanoindentation
$109.99
The Symbol of the Soul from Holderlin to Yeats
$169.99
Musikalische Stimmungen
$69.99
Der Chirurgische Operationssaal
$59.99
Alexander Pope
$49.99
Concrete Structures in Earthquake
$169.99
Selected Exercises in Particle and Nuclear Physics
$84.99
Camus' Literary Ethics
$99.99
Divisia Monetary Aggregates
$109.99
Technology of Gallium Nitride Crystal Growth
$169.00
J. M. Coetzee: Countervoices
$54.99
Clinical Metabolomics
$129.99
Die private Vermgensanlage des Unternehmers
$39.99
Exact Boundary Controllability of Nodal Profile for Quasilinear Hyperbolic Systems
$54.99
Andr-Louis Cholesky
$109.99
Postbuckling Behavior of Structures
$54.99
Die Behandlung chronisch Nierenkranker mit Hmodialyse und Nierentransplantation. Stufen der Carcino
$54.99
Image Analysis and Recognition
$109.99
Twins in Contemporary Literature and Culture
$54.99
Reaktorsicherheit fr Leistungskernkraftwerke 2
$159.99
Monetary Policy in Rwanda
$109.99
The Science of Nature in the Seventeenth Century
$84.99
Immunological Mechanisms and Therapies in Brain Injuries and Stroke
$129.00
Community-Based Participatory Research for Improved Mental Healthcare
$49.99
Kant and the Politics of Racism
$119.99
Sulphide depositstheir origin and processing
$84.99
bungsbuch IFRS
$29.99
Proceedings of the 9th International Conference on Fracture, Fatigue and Wear
$249.99
Extended Abstracts 2022
$169.00
Software Defined Chips
$129.00
Fest-Schrift der Herzoglichen Technischen Hochschule Carolo-Wilhelmina
$59.99
2001: A Space Odyssey and Lacanian Psychoanalytic Theory
$64.99
TRIPS plus 20
$259.00
Canonical Gibbs Measures
$29.99
The Future Home is Wise, Not Smart
$39.99
Information Theory and Applications II
$39.99
