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
Erlsrechnung im industriellen Produktgeschft
$49.99
Zwischen Multikulturalismus und Leitkultur
$69.99
Pragmatic Circuits
$29.99
Taking AIMS at Digital Design
$89.99
Dienstleistungsmanagement in der Wohnungswirtschaft
$74.99
Investment im Iran Investment in Iran
$49.99
Recent Advances in Stem Cells
$129.00
Electronic Democracy in Europe
$109.99
Central and East European Migrants' Contributions to Social Protection
$84.99
Die Bibliothek als humane Anstalt betrachtet
$17.99
The Socio-Economic Impact of Migration Flows
$109.99
4th International Conference on Artificial Intelligence and Applied Mathematics in Engineering
$379.99
Finite Element Modeling of Nanotube Structures
$109.99
The State and I
$54.99
Progress in Nano-Electro-Optics VII
$84.99
Just-Right Leveled Readers Sports: D: Becca Makes a Basket
$4.46
Problems in Economic Development
$129.00
Democratization of Expertise?
$84.99
Advances in Cryptology EUROCRYPT 2024
$139.99
Pocket Guide Ansthesie
$34.99
Theorem Proving in Higher Order Logics
$39.99
Autonome Mobile Systeme 2001
$54.99
The Mesencephalic Trigeminal Nucleus in the Cat
$109.99
Psychologische Aspekte medizinischer Manahmen
$84.99
Fuzzy Model Identification
$54.99
Practical Approaches to Earthquake Prediction and Warning
$219.99
Ordinary and Delay Differential Equations
$79.99
Richtiges Messen In Dampf- und Feuerungsbetrieben
$59.99
Wittgenstein and Lacan at the Limit
$69.99
Talking Points in Dermatology - I
$169.99
Hormone Resistance Syndromes
$169.99
Suchtmittel in der AINS
$29.99
Dual-Process Theories in Moral Psychology
$39.99
New Trends in Shape Optimization
$54.99
Die latenten und maskierten Nierenbeckenerkrankungen
$59.99
Revisiting The Tempest
$54.99
Electronic Government and the Information Systems Perspective
$54.99
Social Policy in the Islamic World
$139.99
Minderung des Drehklanglrms bei einem Radialventilator kleiner Schnellufigkeit
$49.99
A Study of Macao Tertiary Students Attitudes Towards Language After the Handover
$49.99
