Copied Model Checking Software
Model Checking Software
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.
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 |
Reviews
Questions & Answers
Spectral Mixture for Remote Sensing
$159.99
Salvemos El Planeta
$54.99
Statics Formulas and Problems
$29.99
Handbook of Suicidal Behaviour
$379.99
Programming Languages and Systems
$54.99
Algebraic Number Theory
$37.99
Das Herzkatheterlabor
$59.99
Egg & Ego
$54.99
Security Technology
$39.99
Handbook of Decolonial Community Psychology
$379.99
Functional Genomics
$84.99
SDG18 Communication for All, Volume 2
$159.99
The Face of Friendship
$2.99
Folding for the Synapse
$219.99
Strukturformen und Funktionsleistungen sozialer Systeme
$69.99
Advocacy in Health Care
$109.99
Architecture of Computing Systems ARCS 2015
$54.99
Practical Guide to Visualizing Medicine
$139.00
Die Grundgesetze der Wrmebertragung
$59.99
A Cultural History of the Disney Fairy Tale
$99.00
Acting Queer
$54.99
Bltter fr Technikgeschichte
$59.99
Physics of the Solar System
$139.99
Die Grundlagen der Soziometrie
$54.99
The Greco-German Affair in the Euro Crisis
$54.99
16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intell
$179.99
Wissen, Werte und Kompetenzen in der Mitarbeiterentwicklung
$17.99
Mathematische Knobeleien
$59.99
Qu pueden hacer?
$3.71
What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience
$84.99
Cat on the Run in Cucumber Madness! (Cat on the Run #2)
$5.99
Autoimmunity
$74.99
IUTAM Symposium on New Applications of Nonlinear and Chaotic Dynamics in Mechanics
$169.00
Interface Fundamentals in Microprocessor-Controlled Systems
$219.99
The Palgrave Handbook of Disability and Communication
$219.99
Worldwide Computing and Its Applications
$39.99
Curriculum Studies in the United States: Present Circumstances, Intellectual Histories
$54.99
Genetics of Colorectal Cancer
$129.00
Clinical Core Laboratory Testing
$39.99
Unobserved Variables
$54.99
