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 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Reviews
Questions & Answers
Introduction to Game Theory
$79.99
Pro Power BI Architecture
$69.99
Deep Learning and Other Soft Computing Techniques
$179.99
Diagnosis and Identification of Plant Pathogens
$84.99
Multimodal Oscillation-based Connectivity Theory
$109.99
Vermarktung hybrider Leistungsbndel
$99.00
Water Pollution and Remediation: Heavy Metals
$249.99
Verteilungen als Grundlage des quantitativen Risikomanagements
$17.99
Asteroids and Dwarf Planets and How to Observe Them
$54.99
Adaptive Finite Elements in Linear and Nonlinear Solid and Structural Mechanics
$84.99
Economic Liberalism and the Developmental State
$139.99
Postpartum-Psychosen
$64.99
Semantic Acquisition Games
$54.99
Collective Identity and Cultural Resistance in Contemporary Chicana/o Autobiography
$99.99
Seekriegsrecht und Seekriegfhrung im Weltkriege
$59.99
Computational Mechanics 88
$129.00
Modeling, Simulation and Control of Nonlinear Engineering Dynamical Systems
$169.00
Early-Twentieth-Century Frontier Dramas on Broadway
$54.99
The Neuropathology of Schizophrenia
$139.99
Love, Hate, & Other Filters
$8.24
Kontinuumsmechanik
$44.99
Von Karman Evolution Equations
$129.00
Neue Unternehmen und alternative Betriebe
$69.99
Pflege in Europa
$39.99
State Estimation and Control for Low-cost Unmanned Aerial Vehicles
$109.99
Improving the Quality of Child Custody Evaluations
$54.99
How Germany Unified and the EU Enlarged
$39.99
Computer Vision ECCV 2020
$109.99
Heartbreakers
$44.99
Urban Practices from Delicacy Management to Governance in Contemporary China
$84.99
Wide Area Power Systems Stability, Protection, and Security
$139.99
Liberals against Apartheid
$169.99
Tectonics and Structural Geology: Indian Context
$169.99
Abuela by Arthur Dorros
$8.99
Student Evaluation in Higher Education
$119.99
Vorteilhaftigkeit hybrider Finanzinstrumente gegenber klassischen Finanzierungsformen unter Unsiche
$69.99
Wandlungskompetenz von Fhrungskrften
$69.99
Ionic Channels and Effect of Taurine on the Heart
$169.99
Automatische Automobilgetriebe
$84.99
Strategiemodelle
$59.99
