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
Grandparents of Children with Disabilities
$54.99
Stoffaufnahme von in vitro gezchteten Zellen, unter besonderer Bercksichtigung von Phagocytose und
$54.99
Africa from MIS 6-2
$84.99
Non-vanishing of L-Functions and Applications
$79.99
Daily Word Ladders Content Areas Grades 4 and Up (10-copy pack)
$139.88
Psychologische Grundlagen der Kollisionserkennung
$59.99
History of Electron Microscopy in Switzerland
$39.99
Game Theory with Applications in Operations Management
$109.99
Molecular Organisation on Interfaces
$84.99
Modern Climate Change Science
$69.99
New Perspectives in Magnesium Research
$169.00
Dress, Distress and Desire
$109.99
Zielforschung in Unternehmungen
$69.99
Managing your Mental Health during your PhD
$24.99
Dictionary of Weighing Terms
$59.99
Great Power Competition and Middle Power Strategies
$139.99
Lectures on Language Performance
$54.99
Unternehmensbewertung und Komplexittsreduktion
$59.99
Low-Power High-Resolution Analog to Digital Converters
$39.99
The Art of Avatar the Way of Water by Tara Bennett
$50.00
Proteases and Cancer
$109.99
Digital Literacy and Socio-Cultural Acceptance of ICT in Developing Countries
$129.00
Dynamische Theorie der Gase
$59.99
Structure and Function of Invertebrate Oxygen Carriers
$39.99
CSR und Produktmanagement
$39.99
Clinical Cases in Skin of Color
$59.99
Business Knowledge Management
$39.99
Nicolas Gueudeville and His Work (1652-172?)
$54.99
High Performance Scientific And Engineering Computing
$109.99
Understanding Cybersecurity on Smartphones
$59.99
New Life Of Charlotte Bronte
$24.99
The Food-Energy-Water Nexus
$99.99
Verhaltensmedizin
$59.99
Low-Dimensional Cooperative Phenomena
$39.99
The New Workforce Challenge
$44.00
Advances in Knowledge Discovery and Data Mining
$74.99
Cyclic Deformation in Oxides, Carbides and Nitrides
$169.99
The Quantization of Gravity
$99.00
Proteomics of Human Body Fluids
$219.99
Classical and Spatial Stochastic Processes
$49.99
