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
Juridical Perspectives between Islam and the West
$139.99
Questions and Answers
$84.99
Assessment and Autonomy in Language Learning
$84.99
The Philosophical Roots of Loneliness and Intimacy
$109.99
Confronting Scale in Archaeology
$109.99
Vorlesungen ber Theoretische Optik
$59.99
Women, Work and Computerization
$84.99
Metropolitan Area Networks
$84.99
Strategies in E-Business
$109.99
Differential Equations on Measures and Functional Spaces
$89.99
Beyond Silent Spring
$169.99
Clinical Aspects of Microdialysis
$39.99
Protein Misfolding and Cellular Stress in Disease and Aging
$169.99
Hochspannungstechnik
$69.99
Production Development
$249.99
Verhandelte Globalisierung
$39.99
Student-Centered Learning Environments in Higher Education Classrooms
$109.99
DERIVE fr den Mathematikunterricht
$29.99
Embedded Control System Design
$159.99
The 'Community Method'
$54.99
Handbuch der Wickeltechnik fr hocheffiziente Spulen und Motoren
$119.99
Feedback und Attributionen im Grundschulunterricht
$49.99
Komplexe Integration
$39.99
Technischer Lehrgang Ventile
$44.99
Advances in HydroinformaticsSimHydro 2023 Volume 1
$299.99
Cardiovascular Soft Tissue Mechanics
$84.99
Meeting Expectations in Management Education
$109.99
Redefining the Political. Youth Experiences of Collective Action in Turkey
$79.99
Photorefractive Organic Materials and Applications
$109.99
Policing & Firearms
$149.00
Cytokines as Potential Therapeutic Targets for Inflammatory Skin Diseases
$109.00
Advances in Complex Electromagnetic Materials
$169.00
Bauchemie fr das Bachelor-Studium
$19.99
The Palgrave International Handbook of Marxism and Education
$189.00
Practical Intranet Development
$39.99
Quasi-Optical Control of Intense Microwave Transmission
$329.99
The American Exception, Volume 2
$99.99
Materialfluss in Logistiksystemen
$89.99
A Manifesto for Ombudsman Reform
$64.99
Dictionary of Food and Ingredients
$54.99
