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
Tabellen zur Laplace-Transformation und Anleitung zum Gebrauch
$59.99
1968 (Exploring Civil Rights: The Rise)
$8.99
The Political Economy of Regulation in Turkey
$84.99
AutoCAD Express
$74.99
Nonviolent Resistance in the Second Intifada
$54.99
High-Frequency Seafloor Acoustics
$169.99
Moonbear: Feliz cumpleaos, Luna
$5.21
Die Gebudebeheizung mit Heizl
$34.99
Ancient and Modern Approaches to the Problem of Relativism
$119.99
The Language of Feminine Beauty in Russian and Japanese Societies
$54.99
English Theatre and Social Abjection
$39.99
Internet of Things ICIOT 2019
$54.99
Proceedings of the 12th International Conference on Soft Computing for Problem Solving
$249.99
Zytostatische Therapie urologischer Tumoren
$59.99
Wechselwhler
$22.99
Computer-aided Assembly Planning
$109.99
The (De)Legitimization of Violence in Sacred and Human Contexts
$159.99
Assata- An Autobiography by Assata Shakur
$18.95
Sugar and Sugar Derivatives: Changing Consumer Preferences
$169.99
Image and Graphics Technologies and Applications
$64.99
Transgenic Crops of the World
$129.00
Virtue and Social Enterprise
$109.99
Deterrence, Reputation and Cold-War Cycles
$54.99
Theorizing Practice
$54.99
The Past, Present and Future of the European Union
$109.99
Crying in H Mart by Michelle Zauner
$17.00
The Theory of Search Games and Rendezvous
$84.99
Sociology in Brazil
$54.99
Proceedings of the 11th International Conference on Robotics, Vision, Signal Processing and Power Ap
$259.00
Imaging of the Brain in Psychiatry and Related Fields
$109.99
Introduction to Law
$39.32
Praxishandbuch Sanierung im Mittelstand
$179.99
Statistical Decision Theory
$54.99
The Haunted
$14.99
Function and Structure of the Immune System
$39.99
Dragon Girls #8: Phoebe the Moonlight Dragon
$4.49
Obtaining Generating Functions
$54.99
Marvel - Spider-Man: Miles Morales
$7.49
Reproductive Behavior and Evolution
$39.99
A Multimodal End-2-End Approach to Accessible Computing
$54.99
