Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
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
Social Network Based Big Data Analysis and Applications
$109.99
Quantum Critical Phenomena of Valence Transition
$109.00
The Palgrave Handbook of Social Democracy in the European Union
$169.00
Urogynecology: Evidence-Based Clinical Practice
$69.99
Reststoff-Controlling
$59.99
Semiempirical Methods of Electronic Structure Calculation
$54.99
Fundamentals of Artificial Intelligence Research
$39.99
Handelsrecht - Schnell erfasst
$24.99
Deutsche Gesellschaft fr Pharmakologie und Toxikologie
$54.99
War and the Transformation of Global Politics
$99.99
Einfhrung in die Quantenmechanik und ihre Anwendungen
$59.99
Investigators: The Sky: What's Up?
$4.46
Gasdynamik
$49.99
The Praxis of Indirect Reports
$109.99
Geronimo Stilton Journey Through Time: Lost in Time (#4) (Hardcover)
$12.74
The Encyclopedia of Chemical Electrode Potentials
$54.99
How to be a Successful Scientist
$49.99
Introduction to Multicopter Design and Control
$129.99
Interpretation as Pragmatics
$109.99
Techniques for Building Timing-Predictable Embedded Systems
$54.99
IT-Sicherheit fr TCP/IP- und IoT-Netzwerke
$34.99
Coronary Risk Factors in Japan and China
$54.99
Identifikation dynamischer Systeme 1
$69.99
Unternehmensforschung
$59.99
Vascular Plants as Epiphytes
$84.99
Ubiquitous Intelligence and Computing
$84.99
8th International Conference on Computing, Control and Industrial Engineering (CCIE2024)
$229.00
Index Data Structures in Object-Oriented Databases
$169.99
Transhumanism - Engineering the Human Condition
$37.99
Reliability and Risk Modeling of Engineering Systems
$179.99
Computational Intelligence, Communications, and Business Analytics
$89.99
Invariante Darstellung und Normalformen der linearen partiellen Differentialgleichungen zweiter Ordn
$49.99
Facility Management
$49.99
Spielanalyse im Sportspiel
$44.99
Advancements in Smart Computing and Information Security
$99.99
Mining Data for Financial Applications
$59.99
Additive Manufacturing of Emerging Materials
$139.00
Autoimmune Endocrinopathies
$169.99
Product Innovation in the Global Fashion Industry
$64.99
Ectopic Pregnancy
$54.99
