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
Gelebte Diversitt?
$39.99
rztliche Gesprche, die wirken
$39.99
Technology and Manufacturing Process Selection
$129.00
Philosophy in Economics
$109.99
Emmy Noether 18821935
$39.99
Forensic Computing
$74.99
Die Schtzung erwarteter Renditen in der modernen Kapitalmarkttheorie
$59.99
Cognitive Radio Oriented Wireless Networks
$54.99
Transmissible Spongiform Encephalopathies:
$84.99
Brooklyns Renaissance
$79.99
Computer Algebra in Scientific Computing
$54.99
Contemporary Physics Plays
$59.99
Organisation internationaler Nichtregierungsorganisationen
$84.99
Approximation and Online Algorithms
$54.99
Computational Intelligence in Systems and Control Design and Applications
$109.99
Agents and Peer-to-Peer Computing
$54.99
Aeronomy of Mars
$129.00
Tropical Hardwood Utilization: Practice and Prospects
$499.99
Euler as Physicist
$84.99
University Rankings
$84.99
Remote Sensing of Aquatic Coastal Ecosystem Processes
$109.99
Arithmetic Geometry
$39.99
Living and Working With Snow, Ice and Seasons in the Modern Arctic
$159.99
Multisensor Fusion
$219.99
World Legislatures
$19.99
Tools and Algorithms for the Construction and Analysis of Systems
$54.99
The Geometry of Iterated Loop Spaces
$19.99
Innovative Entwicklungen in den deutschen Staatsanwaltschaften
$79.99
Die konomische Vertheilung und Benutzung von Boden und Wasser
$59.99
Individualisierung von Unternehmen
$59.99
Einfhrung in Algebra und Zahlentheorie
$29.99
Membrane Physiology
$84.99
Wild Life LOL!: Bald Eagles
$4.46
Molecular and Cellular Basis of Visual Acuity
$84.99
The Best Argument against God
$79.99
Foundations of Security Analysis and Design
$39.99
Corporate Brand Management international ttiger Unternehmen
$69.99
Reeder and Felsons Gamuts in Cardiovascular Radiology
$109.99
Die Institutionalisierung des Wohlfahrtsstaates
$59.99
Endothelin Receptors and Signaling Mechanisms
$109.99
