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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Der Euro-Kapitalmarkt
$34.99
Cavitation and Inhomogeneities in Underwater Acoustics
$39.99
Configuring User-Designer Relations
$109.99
Autonome Mobile Systeme 2007
$99.00
Labyrinth of Thought
$149.00
Ablaufplanung
$59.99
Management Consultancy in the 21st Century
$39.99
Die Welt ist dreieckig
$19.99
Applied Cryptography and Network Security
$39.99
Logistics and Transportation
$129.00
Global Futures
$169.99
Rise and Fall of the Carbon Civilisation
$109.99
Cell Reprogramming for Immunotherapy
$129.00
Innovations in Biomedical Engineering
$129.00
Current Concepts in Bovine Reproduction
$219.99
Pro T-SQL 2005 Programmer's Guide
$49.99
The Manager's Guide to Web Application Security
$99.99
Diabetes Management in Clinical Practice
$54.99
Methoden in der naturwissenschaftsdidaktischen Forschung
$34.99
eBusiness & eCommerce
$64.99
Stratigraphy: A Modern Synthesis
$54.99
Truthlikeness
$219.99
The Medieval Author in Medieval French Literature
$54.99
Metals and Metalloids in Plant Signaling
$189.00
Justifying Language
$39.99
Frobenius Splitting Methods in Geometry and Representation Theory
$69.99
Testing of Software and Communication Systems
$39.99
Play and Social Skills for Children with Autism Spectrum Disorder
$79.99
Multi-Wavelength Continuum Emission of AGN
$219.99
Mathematical Models in Cell Biology and Cancer Chemotherapy
$54.99
Handbook of Air Pollution Analysis
$84.99
Boundary Integral Equations
$109.99
Aufstiegsdiskriminierung von Frauen durch Mitarbeiterbeurteilungen
$49.99
Plurality and Continuity
$84.99
Biological and Psychological Factors in Cardiovascular Disease
$84.99
Die Mhen der Ebene
$59.99
Laser Processing: Surface Treatment and Film Deposition
$39.99
Sexueller Missbrauch in der DDR
$39.99
Modelle kritischer Gesellschaftstheorie
$49.99
Fundamentals of Error Theory
$109.99
