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:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Writing Musical Theater
$129.99
Die sthetik des Subjekts
$39.99
Problems and Puzzles in Electric Fields
$79.99
Beitrge zur Spurenanalyse im Reinsteisen
$54.99
Pancreatic Cancer
$169.00
Gleason's Theorem and Its Applications
$139.99
Selection and Breeding Programs in Aquaculture
$149.00
Theorien der sozialen Gerechtigkeit
$29.99
Evolutionary Developmental Biology
$219.99
C++ for Scientists, Engineers and Mathematicians
$74.99
A Genetic Approach to Plant Biochemistry
$39.99
Beyond Innovation: Technology, Institution and Change as Categories for Social Analysis
$54.99
Arbeitsbuch zu Stobbe, Volkswirtschaftliches Rechnungswesen, 3.Auflage
$69.95
Dynamical Systems III
$74.99
The Political Economy of Imperialism
$109.99
Contemporary Arts as Political Practice in Singapore
$79.99
Neoliberal Culture
$54.99
Generative and Component-Based Software Engineering
$39.99
Next Step Guided Reading in Action 3 & Up (10-copy pack)
$449.90
Wirkungen des Kohlendioxyds
$59.99
School and Society in Tsarist and Soviet Russia
$39.99
Quantitative Methoden in der Epidemiologie
$59.99
Soziologie der Nchsten Gesellschaft
$34.99
Fingerprints of Climate Change
$84.99
A New History of Identity
$109.99
Trends in Functional Programming
$59.99
The Epididymis: From Molecules to Clinical Practice
$129.00
Advances in Intelligent Information Hiding and Multimedia Signal Processing
$169.00
CyberForensics
$89.00
Die Bildungsentscheidung aus Schler-, Eltern- und Lehrersicht
$59.99
Das Exponentialgesetz als Grundlage einer Vergleichenden Biologie
$59.99
Statistical Modeling Using Bayesian Latent Gaussian Models
$199.99
Cities in Transition
$169.99
Nanoparticles from the Gasphase
$84.99
Prospects for British Coal
$44.99
Biological Responses in Cancer
$54.99
Highly Effective Behavior of Financial Consultants
$54.99
School Violence in South Korea
$139.99
VisualInformation Retrieval Using Java and LIRE
$37.99
