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
Studies in Process Philosophy II
$54.99
Nausea and Vomiting
$109.99
C++20 for Lazy Programmers
$64.99
Web Technologies Research and Development - APWeb 2005
$169.99
Minor Parties at British Parliamentary Elections 18851974
$54.99
Creative Approaches to Technology-Enhanced Learning for the Workplace and Higher Education
$169.00
Subduction and Closure of the Palaeo-Asian Ocean along the Solonker Suture Zone: Constraints from an
$109.99
Division Story Problems Grade 3 Differentiation Pack
$5.99
Die Esche und ihr Holz
$59.99
Orchids as Aphrodisiac, Medicine or Food
$49.99
Where We Dwell in Common
$109.99
Remote Sensing Advances for Earth System Science
$54.99
Cosas rojas!
$3.71
Professionalisierung der Moscheegemeinden
$79.99
Knstliche Intelligenz als Substitut menschlicher Arbeit
$59.99
Echo and Meaning on Early Modern English Stages
$44.99
Verbindungsmechanismen und Leistungsfhigkeit von stranggepressten und felduntersttzt gesinterten H
$99.99
Economic Planning Studies
$54.99
Futures of Anti-Racism
$119.00
Cosserat Continuum Mechanics
$69.99
Data Mining and Big Data
$54.99
Gay Mens Working Lives, Retirement and Old Age
$99.99
Localization and Delocalization in Quantum Chemistry
$39.99
Linear and Multiobjective Programming with Fuzzy Stochastic Extensions
$54.99
Vibro-Impact Dynamics of Ocean Systems and Related Problems
$169.99
Solid Base Catalysis
$109.99
Die urologischen Komplikationen des Collum-Carcinoms
$59.99
More Math Into LaTeX
$69.99
Postcolonial Citizens and Ethnic Migration
$54.99
Integration, Interconnection, and Interoperability of IoT Systems
$84.99
Die Tarifbestimmungen fr die Kraftfahrtversicherung (TB)
$64.99
Rethinking Regulatory Structure
$109.99
Intelligent Beam Control in Accelerators
$139.99
Photosynergetic Responses in Molecules and Molecular Aggregates
$219.99
Automated Deduction - CADE-21
$39.99
Andrej Sacharow
$139.99
Analysis and Modeling of Neural Systems
$169.99
Advances in Conceptual Modeling - Challenges and Opportunities
$39.99
Plant Tissue Culture Manual
$54.99
Applied General Equilibrium
$39.99
