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 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
Reviews
Questions & Answers
Physik und Informatik Informatik und Physik
$99.99
Infertility in Medieval and Early Modern Europe
$99.00
Robustness-Related Issues in Speaker Recognition
$39.99
Messung von Rckenmarksverletzungen
$89.99
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
$39.99
Momenten-Einfluzahlen fr Durchlauftrger mit beliebigen Sttzweiten
$69.99
When Private Talk Goes Public
$84.99
Wettbewerbsfhigkeit von Tourismusdestinationen
$69.99
Stoppt die Kompetenzkatastrophe!
$9.99
Responsibility and Criminal Liability
$129.00
International Networks of Banks and Industry
$169.99
Palliative Krebstherapie
$54.99
Microchip Capillary Electrophoresis
$84.99
Einundsechzigster Kongress
$59.99
Dopaminergic Neuron Transplantation in the Weaver Mouse Model of Parkinsons Disease
$109.99
Sandwich Structures 7: Advancing with Sandwich Structures and Materials
$329.99
Economic Effects of Public Investment
$159.99
Enterprise and Organizational Modeling and Simulation
$54.99
Gesammelte Werke / Collected Works
$299.99
Emerging Trends in Neuro Engineering and Neural Computation
$169.99
Community Quality-of-Life Indicators: Best Cases VII
$39.99
Einfhrung in die Rechtswissenschaft
$44.99
Mineral Resources of Mongolia
$169.99
Surgical Diseases of the Spleen
$84.99
The Body in Professional Practice, Learning and Education
$54.99
Spatial Cognition
$169.99
Community without Community in Digital Culture
$54.99
Diffusion in Materials
$259.00
Blut und Blutkrankheiten
$59.99
Gewhnliche Differentialgleichungen
$59.99
p53 Protocols
$84.99
Killing on Command
$89.99
The Turn to Infrastructure in Internet Governance
$119.99
Advanced Computing in Industrial Mathematics
$219.99
Integrierte Industrielle Sach- und Dienstleistungen
$109.00
Die Vereinten Nationen
$19.99
Handbook of Evidence-Based Psychodynamic Psychotherapy
$89.00
Customization 4.0
$199.99
Grundriss der Theoretischen Bakteriologie
$59.99
Spinal Injuries and Conditions in Young Athletes
$89.00
