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
Molecular Biomethods Handbook
$89.00
A to Z Mysteries: The New Year Dragon Dilemma
$5.21
Die Strichprobe der Edelmetalle
$49.99
Korrekte Zugriffe zu verteilten Daten
$69.99
Der erste Schultag
$49.99
Institutional Competition between Optional Codes in European Contract Law
$39.99
Nursery Care of Nonhuman Primates
$84.99
Vorlesungen ber Mathematische Statistik
$39.99
Coloniality of Power and Progressive Politics in Latin America
$119.99
Foster Care and Best Interests of the Child
$49.99
Proceedings of the Sixth International Conference of Transportation Research Group of India
$219.99
Nazi Germany and Southern Europe, 1933-45
$99.99
Kommunalpolitik
$74.99
Bilanzlehre
$69.99
Algebraic and Complex Geometry
$169.99
Brokratische Macht und demokratische Gesellschaft
$69.99
Disinformation and Fake News
$69.99
Natural Resource Management: Ecological Perspectives
$84.99
Modelling Spatial Knowledge on a Linguistic Basis
$39.99
Economics of Power Systems
$89.99
Integrierte Managementsysteme
$79.99
Die Crescentialegende in der Deutschen Dichtung des Mittelalters
$79.99
Fuzzy Systems Design
$39.99
Grundgesetz und sozialer Wandel zum 30. Jahrestag der Verfassung der Bundesrepublik Deutschland
$59.99
Telekommunikation und multimediale Anwendungen der Informatik
$69.99
Organisational Change Management for Sustainability
$139.99
Word Fall- 350 Puzzles Inspired by Your Favorite Online Word Game by Gareth Moore
$9.99
Health and Medicine
$84.99
International Organization
$54.99
When You Can Swim (Hardcover)
$14.24
Holographic Data Storage
$84.99
Advanced Methods for Computational Collective Intelligence
$129.00
Basics of Continuum Plasticity
$119.99
Die Dachdeckerarbeiten
$84.99
The Ambient Intelligent Classroom
$109.99
Contemporary Value Systems in China
$54.99
Low-Dimensional Systems: Theory, Preparation, and Some Applications
$54.99
El lobo llama a la puerta
$2.99
Prisons, Punishment and the Pursuit of Security
$109.99
Machine Learning, Deep Learning and Computational Intelligence for Wireless Communication
$249.99
