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
Modern Agriculture and the Environment
$39.99
Die Transformatoren
$49.99
Moving Objects Detection Using Machine Learning
$54.99
Placebo Effects: The Meaning of Care in Medicine
$99.99
Microwave Integrated Circuits
$219.99
Die reichsgesetzlichen Bestimmungen ber den Verkehr mit Arzneimitteln ausserhalb der Apotheken
$59.99
Hospital Information Systems The Next Generation
$109.99
Light-Based Therapies for Skin of Color
$109.99
Surveys in Geometry I
$99.99
Landschaftsmodellierung fr die Umweltplanung
$129.99
Nordic Contributions in IS Research
$39.99
Proceedings of the 2023 International Conference on Advances in Computing Research (ACR23)
$249.99
Sprachverarbeitung in Information und Dokumentation
$69.99
Septic Shock Methods and Protocols
$119.00
Management im Gesundheitswesen
$79.99
Technical Safety, Reliability and Resilience
$54.99
Compilation, Critical Evaluation and Distribution of Stellar Data
$39.99
A Changing World
$169.99
Trade, Reputation, and Child Labor in Twentieth-Century Egypt
$54.99
Mathematical Optimization Theory and Operations Research
$99.99
Facilitation Skills
$69.99
Victorian Identities
$169.99
Europe and the MENA Region
$119.99
The Auditory Midbrain
$109.99
Mikroplastik kompakt
$17.99
Konstruktionsgrundlagen fr Faserverbundbauteile
$49.99
Proceedings of International Conference on Network Security and Blockchain Technology
$249.99
Multiple Criteria Decision Analysis
$349.00
Emerging Technologies for Disaster Resilience
$169.99
Vaccination Strategies Against Highly Variable Pathogens
$139.99
Grobritannien
$59.99
Lung Cancer Screening
$54.99
Nonlocality in Quantum Physics
$109.99
Russische Literatur in Deutschland
$19.99
Carl Gustav Jung
$39.99
Transnationalism, Nationalism and Australian History
$79.99
Privacy in a Cyber Age
$54.99
Politische Entscheidungsprozesse
$69.99
Mind, Values, and Metaphysics
$84.99
Raum Zeit Medialitt
$64.99
