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
Coral Reefs of the Western Pacific Ocean in a Changing Anthropocene
$129.00
Algorithmen fr Ingenieure
$64.99
The Arts at a New Frontier
$39.99
Database Security XII
$169.99
The Theory and Applications of Statistical Interference Functions
$54.99
Zeitreisen und Zeitmaschinen
$34.99
Smart Materials
$59.99
Devianz aus der Sicht von Ttern
$49.99
Clinical Trials in Rheumatology
$189.00
Environmental Geochemistry of Potentially Toxic Metals
$54.99
Harry Potter: The Battle of Hogwarts and the Magic Used to Defend It
$14.99
The British Insurance Industry Since 1900
$109.99
Impulsbertragungsversuche mit schrger Inzidenz und vernderlicher Frequenz ber Entfernungen zwisc
$59.99
Pseudochaotic Kicked Oscillators
$84.99
Synthetic Polymers
$169.99
Basic and Clinical Environmental Approaches in Landscape Planning
$109.99
Blockchain Applications in the Smart Era
$199.99
Poetik der Novelle
$89.99
Cardiovascular Disease, Volume 2
$89.00
Mechanisms of Migration in Fishes
$54.99
Bestimmung des optimalen Produktionsprogrammes in Industriebetrieben
$59.99
Dynamic Response of Pre-Stressed Spatially Curved Thin-Walled Beams of Open Profile
$49.95
Variational Inequalities and Frictional Contact Problems
$54.99
Neopluralismus und institutionelle Gewaltenteilung
$59.99
Topics in Plasma Diagnostics
$39.99
The Art of Dying
$109.00
Arbeitsbuch zu Change Management in Gesundheitsunternehmen
$59.99
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies
$54.99
Complex Tori
$89.00
Infectious Complications in Bone Marrow Transplantation
$39.99
Student Consumer Culture in Nineteenth-Century Oxford
$39.99
Who's Afraid of John Maynard Keynes?
$29.99
InformationConsciousnessReality
$49.99
Advances in Materials Characterization II
$39.99
Information systems in a management structure
$39.99
The Color Monster: A Story About Emotions by Anna Llenas
$18.99
85 Jahre Universittsklinik fr Dermatologie und Venerologie Zrich (19162001)
$59.99
The Parva naturalia in Greek, Arabic and Latin Aristotelianism
$79.99
Mathematical Modeling in Economics, Ecology and the Environment
$189.00
Processes, Beliefs, and Questions
$109.99
