Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
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
Regulating New Technologies in Uncertain Times
$99.99
Schlank, intelligent und schnell
$59.99
Organized Crime, Fear and Peacebuilding in Mexico
$59.99
Noncommutative Differential Geometry and Its Applications to Physics
$129.00
Buchfhrung - Schnell erfasst
$19.99
Tectonic Shifts in Financial Markets
$37.99
Understanding Mental Health Apps
$34.99
Strukturelle Kraft in Internationalen Beziehungen
$39.99
Computational Collective Intelligence
$119.99
Frontiers in Neuropsychiatric Research
$89.00
Dynamics of Soil and Modelling of Geotechnical Problems
$219.99
The Intelligent Investor Rev Ed. The Definitive Book on Value Investing by Benjamin Graham
$25.99
Classification Theory of Algebraic Varieties and Compact Complex Spaces
$44.99
Elemente der weiten Hauptgruppe
$59.99
The Characteristics of Chinese Cultural Spirit
$99.99
Micro and Precision Manufacturing
$84.99
Krperpsychotherapie
$49.99
Zwischen gesellschaftlichem Auftrag und Wettbewerb
$74.99
Mosquito Ecology
$379.99
Cybernetics and Mathematics Applications in Intelligent Systems
$169.99
Ausbreitungsbiologie der Hheren Pflanzen
$84.99
Scattering Theory
$44.99
Empirical Likelihood and Quantile Methods for Time Series
$59.99
Analysis of Data from Randomized Controlled Trials
$129.99
Endoskopie der Nasennebenhhlen
$74.99
Smart Sensors and Systems
$84.99
Aufgaben und Musterlsungen zur Technischen Mechanik 1 und 2
$29.99
Allgemeine Volrswirtschaftslehre
$44.99
Juguemos en el bosque mientras el lobo no est
$4.49
Essential Circuit Analysis using NI Multisim and MATLAB
$39.99
Microbial Metabolism of Metals and Metalloids
$199.99
Mikrocontroller und Mikroprozessoren
$29.99
Homo hortulanus
$34.99
Freiwilliges Engagement und soziale Inklusion
$49.99
Transient Characteristics, Modelling and Stability Analysis of Microgrid
$109.99
Stakeholder Performance Reporting von Nonprofit-Organisationen
$99.00
kologische Nachhaltigkeit im E-Commerce
$29.99
ffentlich-rechtliche Podcasts im Kontext von Hrfunk und Internet-Plattformen
$64.99
Extreme NXT
$24.99
Hypersaline Ecosystems
$84.99
