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
SMEs as the Unknown Stakeholder
$54.99
Post-Conflict Performance, Film and Visual Arts
$129.99
IT-gesttzte Logistik
$39.99
Engineering Haptic Devices
$79.99
Innovationsfrderndes Human Resource Management
$19.99
Statistical Modelling
$109.99
Taking a Bath with the Dog and Other Things that Make Me Happy
$5.96
How Likely is Extraterrestrial Life?
$39.99
East-West Relations
$39.99
Quantum Mechanics
$84.99
Tabakschwrmer, Bcherwrmer und Turbo-Socken
$24.99
Mathematical Methods in Engineering
$169.99
Heidelberger Jahrbcher
$59.99
Hazlitt the Dissenter
$39.99
The Real Slam Dunk
$5.21
Elektromagnetische Artikulographie
$69.99
Advances in Cryogenic Engineering
$39.99
Progress in Botany
$259.00
Partizipation, Wissen und Motivation im Politikunterricht
$44.99
Childhood in Edwardian Fiction
$54.99
Proceedings of the 21st Annual Meeting of the European Society for Animal Cell Technology (ESACT), D
$329.99
Turkeys Relations with the Middle East
$129.99
Psychological Perspectives on Reality, Consciousness and Paranormal Experience
$109.99
Hip Magnetic Resonance Imaging
$169.99
Geometric Quantization and Quantum Mechanics
$139.99
Reducing Lightning Injuries Worldwide
$129.99
Atlas Geld und Wertpapiere
$59.99
Structure and Dynamics of Fungal Populations
$39.99
Clifford the Big Red Dog: Clifford's Happy Easter
$5.24
American Royalty
$54.99
Spoken English, TESOL and Applied Linguistics
$109.99
Strategische Netzwerke
$74.99
Sozialpsychologie
$34.99
Computer Security ESORICS 2011
$54.99
Scholastic Success With Contemporary Cursive: Grades 2-4 Workbook
$5.24
Digital Simulation in Electrochemistry
$159.99
Systems Analysis and Simulation I
$109.99
Lernen im Zeitalter der Digitalisierung
$64.99
Molecular Basis and Emerging Strategies for Anti-aging Interventions
$199.99
Aboriginal Sports Coaches, Community, and Culture
$54.99
