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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Bariatric Endoscopy
$109.99
Bone Marrow Failure
$79.99
Urban Commons, Future Smart Cities and Sustainability
$139.99
Keynesianische Makrokonomik
$29.99
Produktionswirtschaft
$19.99
Legal Developments During 30 Years of Lithuanian Independence
$169.99
Theory and Practice of Computation
$54.99
Contrasting US and German Attitudes to Soviet Trade, 191791
$54.99
Brennpunkt Kundenwert
$29.99
Biotechnology of Lignocellulose
$169.99
Econometric Models of Asian-Pacific Countries
$54.99
Engineering in Action: Environmental Engineering and the Science of Sustainability
$5.21
Spherical Functions of Mathematical Geosciences
$169.99
Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems
$49.99
Scuttle Flies: The Phoridae
$59.99
Die Seheigenschaften des menschlichen Auges als Beitrag zum Problem der Gtebeurteilung von Projekti
$49.99
Existenzgrndung und Existenzfrderung in der Wirtschaftsfrderung
$19.99
Natural Language Dialog Systems and Intelligent Assistants
$109.99
Praxis der Balint-Gruppen
$89.99
Densities of Aliphatic Hydrocarbons: Alkenes, Alkadienes, Alkynes, and Miscellaneous Compounds
$549.99
Mathematical Logic
$119.99
Feathers
$5.96
GWAI-81
$54.99
Contemporary Issues in International Law
$299.99
Operator Algebras Generated by Commuting Projections: A Vector Measure Approach
$39.99
The Scientific Legacy of Beppo Occhialini
$54.99
Syntax
$19.99
Von Morris bis Memphis
$49.99
Fluid Mechanics of Viscoplasticity
$99.00
John Ford and the Caroline Theatre
$44.99
Combinatorial Algorithms
$39.99
Boolean Functions and Their Applications in Cryptography
$139.99
Basic Steps in Geostatistics: The Variogram and Kriging
$59.99
Local Civics with National Purpose
$54.99
Der Mikroprozessor
$44.99
The Population Crisis and the Use of World Resources
$54.99
Bremsenhandbuch
$169.99
Der Wert der Konversation
$59.99
Molten Salts
$219.99
Laser and Coherence Spectroscopy
$84.99
