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
On the Functional Equations Satisfied by Eisenstein Series
$34.99
Proceedings of 3rd International Sustainable Buildings Symposium (ISBS 2017)
$349.00
The Economics of the Modern Construction Firm
$109.99
Cyberspace Safety and Security
$54.99
Handbook of Massive Data Sets
$629.00
Chefsache Sichtbarkeit
$29.99
Multivariate Time Series With Linear State Space Structure
$84.99
Leadership for an Age of Wisdom
$84.99
Civil Society Organisations, Governance and the Caribbean Community
$99.99
Higher Education in the Era of the Fourth Industrial Revolution
$31.00
Microcavities and Photonic Bandgaps: Physics and Applications
$329.99
Mineral Resources of Turkey
$129.00
An Invisible Thread
$6.71
Ernst Machs World Elements
$169.99
Comparative Federalism
$109.00
Extraterrestrial Dust
$169.99
Travel and Tourism: Sustainability, Economics, and Management Issues
$249.99
The Gestalt Shift in Conan Doyle's Sherlock Holmes Stories
$49.99
Earth Observation of Global Change
$109.99
Simplex Society
$49.99
Byron and the Politics of Freedom and Terror
$54.99
Real Estate Valuation Theory
$119.99
Food Safety Governance
$109.99
Kontexte des Lebens
$59.99
Discrete Fracture Network Modeling of Hydraulic Stimulation
$54.99
Catastrophes
$29.99
Bildung gegen Populismus?!
$34.99
Elements of the Swiss Market for Electricity
$109.99
Promoting Health for Working Women
$54.99
Rigid Geometry of Curves and Their Jacobians
$119.00
Pediatric Gastroenterology and Nutrition
$64.99
Computer Algebra in Scientific Computing
$54.99
Guanylate Cyclase
$169.99
Mathematische Grundlagen der Technischen Mechanik III Materialmodelle in der Ingenieurmechanik
$44.99
Stability Problems for Stochastic Models
$44.99
Formation and Regeneration of Nerve Connections
$39.99
Frontiers of Biostatistical Methods and Applications in Clinical Oncology
$119.99
Biological Remediation of Explosive Residues
$169.99
Angewandte Elektronik
$44.99
Globalization and Latin American Cinema
$199.99
