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 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
Reviews
Questions & Answers
Kompensationslsungen im Gewsserschutz
$59.99
Global Website
$59.99
Open-Channel Flow
$54.99
Pathogenesis of Stress-Induced Heart Disease
$219.99
Infinite Dimensional Groups with Applications
$169.99
Molten Salt Technology
$109.99
Transzendentaler Idealismus
$109.00
Intermediate Calculus
$79.95
Emergent Problems in Nonlinear Systems and Control
$84.99
A Biosystematic Study of the European Stratiomyidae (Diptera)
$299.99
World-Building and the Early Modern Imagination
$84.99
Wissensmanagement in der strategischen Unternehmensberatung
$64.99
Inequality, Polarization and Poverty
$109.99
Management of Peritoneal Metastases- Cytoreductive Surgery, HIPEC and Beyond
$119.99
Anlageformen Steuerbegnstigte Darlehenshingabe und Anlage in Versicherungen
$69.99
Dienstehndler im Markt fr festnetzbasierte Telefondienste
$59.99
CONCUR '95 Concurrency Theory
$39.99
Soft Computing Applications
$169.00
Probability and Risk Analysis
$119.99
New Theory and Design of Ellipsoidal Heads for Pressure Vessels
$199.99
Der Kunde als Innovationspartner
$64.99
Byron V. Garrett Life and Literacy Skills Library PreK
$325.00
Human Migration in the Arctic
$129.99
Vermeidung des Earnings Management der Umsatzerlse
$69.99
Open Source Knowledge Management
$29.99
Scholastic Reader! Science Level 1-I Am: Soy una hoja
$2.99
Planung von Logistiknetzen
$74.99
How to Draw Five Nights at Freddy's: An AFK Book
$9.74
Quantum Field Theory on Curved Spacetimes
$79.99
Reimagining Desistance from Male-Perpetrated Intimate Partner Violence
$139.99
Spatial Econometrics
$79.99
Die Aufzeichnung des Gelndes beim Krokieren fr geographische und technische Zwecke
$84.99
Sharing Ecosystem Services
$119.99
Informationssysteme und Datenbanken
$49.99
Leadership ohne Leine
$19.99
Darwin, Darwinism and Conservation in the Galapagos Islands
$129.99
Kapazitts- und Prozeplanung in der klinischen Diagnostik
$59.99
Facing up to the History of Emotions
$99.00
Electron Theory and Quantum Electrodynamics
$129.00
Organizational Misbehaviour in the Workplace
$54.99
