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
Molecular Identification of Mosquito Vectors and Their Management
$179.99
Remote Sensing and Geographic Information Systems for Policy Decision Support
$179.99
Shaping Tomorrow Today SDGs from multiple perspectives
$69.99
Equity Derivatives Explained
$37.99
Neostrategic Management
$54.99
Communication and Popularization of Science and Technology in China
$109.99
Customer Care Management
$34.99
The Neuroimmunological Basis of Behavior and Mental Disorders
$169.99
Stoffwechsel und Ernhrung
$39.99
Linking Trade and Security
$84.99
Ethical Leadership in Organizations
$109.00
Intelligent Tutoring Systems
$84.99
Market Integration Through Data Protection
$109.99
Freckleface Strawberry: Freckleface Strawberry
$24.95
Modelling of Environmental Chemical Exposure and Risk
$109.99
Radical Solutions in Palestinian Higher Education
$119.99
Maturation Phenomenon in Cerebral Ischemia II
$109.99
Operator Algebras and Quantum Statistical Mechanics II
$74.99
Transition from Socialist to Market Economies
$109.99
Computational Linguistics and Intelligent Text Processing
$89.99
Grostadt und Arbeitslosigkeit
$69.99
Israel
$29.99
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications
$169.99
Cybersecurity Lexicon
$29.99
Einfhrung in die Technische Informatik
$64.99
Seismic Hazard and Building Vulnerability in Post-Soviet Central Asian Republics
$169.99
The Theory of Matrices
$54.99
Weiterbildung zwischen Grundrecht und Markt
$59.99
Democratic Government in Poland
$54.99
Differential Analysis on Complex Manifolds
$64.95
Econometric Business Cycle Research
$109.99
Ratgeber neue Hfte, neues Knie
$14.99
Design and Implementation of the Modern Mens Health Center
$109.99
PSpice
$69.99
European Banking
$54.99
Energy Efficiency in Househould Appliances and Lighting
$219.99
Lagrangian Mechanics of Nonconservative Nonholonomic Systems
$169.99
Childhood in Contemporary Diasporic African Literature
$89.99
Rough Sets and Current Trends in Computing
$54.99
Maschinenelemente Berechnen mit einer Tabellenkalkulation
$69.99
