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
Common & Proper Nouns Grade 3 Differentiation Pack
$5.99
Social Justice and Systemic Family Therapy Training
$54.99
ber die Ausscheidung von Tuberkelbazillen mit der Menschlichen Galle
$54.99
Kompetenz im Zeitwettbewerb
$29.99
Research and Development in Breast Ultrasound
$189.00
Literary Rooms
$89.99
Entrepreneurship and Family Business Vitality
$169.99
Semiconductor Photoelectrochemistry
$54.99
Neonatologische und pdiatrische Intensiv- und Ansthesiepflege
$49.99
Die nervse Erkrankung als sinnvolle Erscheinung unseres gegenwrtigen Kulturzeitraumes
$59.99
Men's Discourses of Depression
$109.99
Einflu der hheren Vorgarndrehung geflyerter Lunten auf die Ungleichmigkeit und die dynamometrisc
$54.99
Gerste und Schalungen im konstruktiven Ingenieurbau
$109.00
An Introduction to the Work of Pierre Bourdieu
$179.99
Swarm Intelligence in Data Mining
$109.99
Unter Strom
$19.99
Ernhrung bei Pflegebedrftigkeit und Demenz
$69.99
Vereinbarungen betreffs der Untersuchung und Beurteilung von Nahrungs- und Genussmitteln sowie Gebra
$59.99
Instabilities and Turbulence in Engineering Flows
$219.99
Transnational Synergies in School Mathematics and Science Debates
$54.99
Sustaining Life on Planet Earth: Metalloenzymes Mastering Dioxygen and Other Chewy Gases
$169.99
Advances in Communication, Devices and Networking
$219.99
Learning to Confront Ecological Precarity
$159.99
Soziale Ungleichheiten in der politischen Partizipation junger Menschen und die Rolle der Digitalisi
$64.99
Coelenterate Biology: Recent Research on Cnidaria and Ctenophora
$329.99
The Shapes of Knowledge from the Renaissance to the Enlightenment
$169.99
Kreativitt als Lernstrategie
$49.99
Clinical Algorithms in General Surgery
$249.99
Lagerstttentechnik
$74.99
Practical ECG Holter
$99.99
Medical Decisions, Estrogen and Aging
$109.99
Angewandte Grundwasserchemie, Hydrogeologie und hydrogeochemische Modellierung
$69.99
Fennoscandian Tundra Ecosystems
$84.99
Macroeconomics and New Macroeconomics
$64.99
VI Hotine-Marussi Symposium on Theoretical and Computational Geodesy
$219.99
Modern African Poetry and the African Predicament
$54.99
Elementary Differential Geometry
$37.99
Einfhrung in die Physikalische Chemie
$69.99
Jugendbilder
$59.99
Combinatorial Image Analysis
$109.99
