Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
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
Grundlagen linearer Antriebstechnik
$74.99
Management von Netzwerkorganisationen
$54.99
Modern Mssbauer Spectroscopy
$139.00
Financial Crisis Management and Democracy
$59.99
Cluster-Based Industrial Development
$109.99
Radio Monitoring
$179.99
Theodore von Krmn
$119.99
Proceedings of International Conference on Machine Intelligence and Data Science Applications
$259.00
Numerical Methods of Approximation Theory/Numerische Methoden der Approximationstheorie
$69.99
Statistical Geometry and Applications to Microphysics and Cosmology
$84.99
The Consequences of Alcoholism
$129.00
Educational Aid and National Development
$14.99
Hush Little Baby (Super Simple Board Books)
$6.74
Theory of Translation Closedness for Time Scales
$139.99
Stadtentwicklung mit Stadtmanagement?
$64.99
Machine Intelligence Techniques for Data Analysis and Signal Processing
$299.00
Remote Control Planes
$4.46
Introduction to Functional Analysis
$34.99
Das Wort als Name
$59.99
Single-Particle Structure of 29Mg on the Approach to the N = 20 Island of Inversion
$179.99
Betriebliche Instandhaltung
$109.00
Multiple Stars across the H-R Diagram
$109.99
Gender Negotiations among Indians in Trinidad 19171947
$109.99
Middle Powers and G20 Governance
$54.99
Duration
$44.99
Cognitive Computing of Visual and Auditory Information
$159.99
Kthe-Bochner Function Spaces
$84.99
Regieren im Schatten der Volksrechte
$64.99
Theological Anthropology in the Anthropocene
$119.00
Zuverlssigkeit und Verfgbarkeit
$49.99
Deconstructing True Crime Literature
$119.99
Solid Edge ST5 - kurz und bndig
$19.99
Urban Dominance and Labour Market Differentiation of a European Capital City
$84.99
Jonathan Swift
$169.99
Reflexionswissen zur linearen Algebra in der Sekundarstufe II
$59.99
Grundlagen der Tragwerksplanung
$29.99
Heterotrophic Activity in the Sea
$39.99
Territorialising Space in Latin America
$69.99
The Hero in Contemporary American Fiction
$54.99
Will Miami Survive?
$64.99
