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
Hierarchical Sliding Mode Control for Under-actuated Cranes
$109.99
Structural Adjustment in Africa
$169.99
Human Quality Management
$49.99
Orthogeriatrics
$79.99
Regional Competition Law Enforcement in Developing Countries
$139.99
Expanding Global Horizons Through Technology Enhanced Language Learning
$169.99
What Has Stripes?
$3.71
Proceedings of International Conference on Computing and Communication Networks
$249.99
Approaching Business Models from an Economic Perspective II
$84.99
Mittelstndische Unternehmen
$59.99
Major soils and soil regions in the Netherlands
$39.99
Eighth E.C. Photovoltaic Solar Energy Conference
$109.99
Reasoning Web - Semantic Technologies for Advanced Query Answering
$54.99
Africa and International Relations in the 21st Century
$54.99
New Waves in Philosophy of Action
$54.99
Wortschatzuntersuchung: Das normale Kind
$44.99
Das elektrische und Wrme-Leitvermgen von Glasgemengen und Glasschmelzen
$59.99
Nationales Interesse und integrative Politik in transnationalen parlamentarischen Versammlungen
$59.99
Schleswig-Holstein-Lexikon
$59.99
Transactions on Edutainment XV
$39.99
Queenship and Counsel in Early Modern Europe
$129.99
Haus- und Geschfts-Telephonanlagen
$59.99
Konflikt und Entwicklung im Sdlichen Afrika
$49.99
Intelligent Systems
$79.99
Nanostructured Materials for Advanced Technological Applications
$329.99
Fruchtwechsel in der Forstwirtschaft
$59.99
Acoustic And Non-Acoustic Performance Coal Bottom Ash Concrete
$54.99
Semantic Perception Theory
$109.99
Handelsmarketing
$49.99
White Male Nostalgia in Contemporary North American Literature
$89.99
Multiscale Potential Theory
$54.99
Modular Optical Design
$39.99
Der Mensch als Mitte und Mastab der Medizin
$69.99
Methane Activation and Utilization in the Petrochemical and Biofuel Industries
$119.00
Fernsehen als Zerrspiegel
$34.99
Mush! Sled Dogs of the Iditarod
$3.74
Tissue Engineering
$129.00
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 8
$219.00
Emerging Issues in Prison Health
$109.99
Cultural Producers and Social Change in Latin America
$54.99
