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
High Pressure Effects on Selected Biological Systems
$109.99
Acute Continuous Renal Replacement Therapy
$169.00
Transitions Through Homelessness
$39.99
Distributed Drive Control Technology of Hub Motor
$149.00
Biosphere-Atmosphere Exchange of Pollutants and Trace Substances
$219.99
Israel
$39.99
Extremal Methods and Systems Analysis
$109.99
Advanced Theories of Educational Leadership
$109.99
Towards a New Human Being
$89.00
Automation of Cytogenetics
$109.99
Surface/Volume
$37.99
Recent Advances in Computational Optimization
$84.99
The Chemokines
$39.99
Human Duties and the Limits of Human Rights Discourse
$109.99
HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture
$129.99
Professionelle Pressearbeit
$17.99
Ecological Intensification of Natural Resources for Sustainable Agriculture
$279.99
Scher and Daniel's Nails
$84.99
Foodborne Microbial Pathogens
$54.99
Developmental Relations among Mind, Brain and Education
$169.99
The Greatest Treasure Hunt in History
$6.74
Neural Computing for Advanced Applications
$99.99
Stabilization of Distributed Parameter Systems: Design Methods and Applications
$139.00
Lehrbuch der Quantitativen Analyse
$99.99
Nuclear Structure Study with Neutrons
$109.99
Datenbanken und Macht
$59.99
Comets and How to Observe Them
$34.99
Lebendige Sozialgeschichte
$49.99
Groovy Joe: Ice Cream and Dinosaurs (Hardcover)
$13.49
Sensoren in Wissenschaft und Technik
$69.99
Ramanujan's Place in the World of Mathematics
$129.99
Applied Computing, Computer Science, and Advanced Communication
$39.99
Prvention und Therapie viraler Epidemien
$49.99
Globalization of Manufacturing in the Digital Communications Era of the 21st Century
$39.99
The Magic School Bus Inside a Beehive
$6.74
Medical Image Understanding and Analysis
$54.99
Bildung fr Arbeit unter neuer Steuerung
$64.99
AIxIA 2023 Advances in Artificial Intelligence
$59.99
Management of Diversity
$64.99
Feature Based Product Life-Cycle Modelling
$84.99
