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
Brgerliches Recht
$59.99
Integrative Health Nursing Interventions for Vulnerable Populations
$69.99
Electroreception: Fundamental Insights from Comparative Approaches
$199.99
Mathematical Reasoning: The History and Impact of the DReaM Group
$179.99
Distributed, Ambient and Pervasive Interactions
$89.99
On Political Culture, Cultural Policy, Art and Politics
$54.99
Atherosclerosis V
$54.99
Corrosion in Systems for Storage and Transportation of Petroleum Products and Biofuels
$129.00
Little Critter: The Fall Festival
$4.46
Augenerkrankungen im Kindesalter
$59.99
Evolution and Religion in American Education
$84.99
kologie und Interdisziplinaritt eine Beziehung mit Zukunft?
$29.50
DOMININGHAUS - Kunststoffe
$249.00
Funktionalanalysis und Steuerungstheorie
$59.99
General Relativity Without Calculus
$79.99
Der Aufbau der raschlaufenden Verbrennungskraftmaschine
$84.99
Security and Trust Management
$49.99
Smart Meter Rollout
$139.99
Microelectrodes: Theory and Applications
$169.00
The Chinese National Spirit
$39.99
Service Parts Planning with SAP SCM
$99.99
Theory and Research in Behavioral Pediatrics
$109.99
Berufsbildung, Beruf und Arbeit im gesellschaftlichen Wandel
$69.99
Robust Aeroservoelastic Stability Analysis
$89.00
Modular Forms: Basics and Beyond
$159.99
Radiation Oncology
$139.00
Kulturwissenschaft als Kommunikationswissenschaft
$69.99
Speech and Computer
$74.99
Einsatz von Social Software durch Unternehmensberater
$64.99
Pro Java EE 5 Performance Management and Optimization
$54.99
Assessing Quality in European Higher Education Institutions
$109.99
Special Topics in Artificial Intelligence and Augmented Reality
$109.00
Die Versorgung des Brandverletzten im Katastrophenfall Band 2
$54.99
Singular Perturbation Methods for Ordinary Differential Equations
$109.99
Gender and Thought: Psychological Perspectives
$39.99
Advances in Noninvasive Electrocardiographic Monitoring Techniques
$169.00
Photographisches Lexikon
$59.99
Personal Flourishing in Organizations
$109.99
Epidemiology and Community Psychiatry
$39.99
Open Learning Cultures
$54.99
