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
Intelligent Sustainable Systems
$199.99
The Pain d'Avignon Baking Book: A War, An Unlikely Bakery, and a Master Class in Bread by Uliks Fehmiu
$40.00
3D Bioprinting
$84.99
Arnold Schnberg
$49.99
Community Policing - A European Perspective
$119.99
Has Liberalism Failed Women?
$39.99
RU 486 Die Abtreibungspille
$69.99
Lung Cancer and Personalized Medicine
$109.99
Seltene Wahnstrungen
$119.99
American Exceptionalism and the Legacy of Vietnam
$54.99
Technological Progress, Income Distribution, and Unemployment
$64.99
The Macaque Connection
$169.99
Mathematik zum Studieneinstieg
$54.99
Option Pricing in Fractional Brownian Markets
$39.99
Constructing Methodology for Qualitative Research
$139.99
Metropolitan Governance in Deutschland
$39.99
Heterogeneity of Alzheimers Disease
$84.99
Pig the Star (Pig the Pug) (Hardcover)
$11.24
STEAM Spanish Grades K-2
$62.00
Lake Biwa
$329.99
A Political Economy of Free Zones in Gulf Arab States
$159.99
The Economics of Tax and Social Security in Japan
$79.99
Der Durchflu des Wassers durch Rhren und Grben insbesondere durch Werkgrben groer Abmessungen
$84.99
Constructing Transnational and Transracial Identity
$39.99
Cell and Muscle Motility
$39.99
Identification of Seismic Sources Earthquake or Underground Explosion
$259.00
My Books Summer & Summer Express Workbook Grade 4 Fiction/Nonfiction 10-Book Bundle
$53.95
Springer Handbook of Mechanical Engineering
$399.00
Untersuchungen der anodischen Teile einer Glimmentladung
$59.99
Introducing CAL
$54.99
Risikokonflikte und der Streit um das Rauchen
$59.99
Litigating for the Environment
$54.99
Advances in Emerging Trends and Technologies
$169.99
Database and Expert Systems Applications
$54.99
Vitamins and Cancer
$109.99
National Geographic Kids: First Big Book of Why
$9.71
Die Architektur der Neuzeit
$54.99
Progress in Digital and Physical Manufacturing
$299.99
Studium und Arbeitslosigkeit
$69.95
Beginning C# Object-Oriented Programming
$54.99
