Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.
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
Oncology of CNS Tumors
$219.99
Private Placement of Public Equity in China
$54.99
Climate Change and Food Security in West Asia and North Africa
$169.99
Conceptual Modeling
$64.99
Prevention of Hazardous Fires and Explosions
$109.99
Techniques and Concepts of High-Energy Physics VI
$39.99
Organometallic Compounds
$39.99
Logic Programming '85
$39.99
Nanoparticles and their Biomedical Applications
$109.99
Number the Stars
$7.49
Handbook of Electronics Formulas, Symbols, and Definitions
$84.99
Innovations in Information and Communication Technologies
$219.99
Psychologie des Geschichtenerzhlens
$34.99
Advances in Information Systems Science
$39.99
The International Refugee Crisis
$84.99
Gendered Citizenship and the Politics of Representation
$19.99
Building Resilient Cities in China: The Nexus between Planning and Science
$109.99
The Unprecedented 2016 Presidential Election
$64.99
The Palgrave Handbook of Political Elites
$259.00
Theoretische Biologie
$59.99
The Fractal Dimension of Architecture
$109.00
Ten Years of English Learning at School
$129.99
Scholar Zone Extended Learning Plus ELA & Math Grade 2
$900.00
Angewandte Mathematik mit Mathcad. Lehr- und Arbeitsbuch
$49.95
Directed Quantities in Electrodynamics
$79.99
Environment, Climate, Plant and Vegetation Growth
$219.99
nderungen von Markennamen
$59.99
Mechanobiology of Fracture Healing
$59.99
Educational Commons in Theory and Practice
$139.99
Vibration Mechanics
$119.99
Statistical Analysis of Random Fields
$54.99
The South African Truth Commission
$109.99
Cooperative Control of Multi-agent Systems
$179.99
Applied Many-Body Methods in Spectroscopy and Electronic Structure
$109.99
Yearbook of International Humanitarian Law, Volume 23 (2020)
$169.99
Applications of Evolutionary Computing
$54.99
Die Parkinson-Krankheit
$139.99
Soziologie und die Bildung des Volkes
$44.99
Breast Reconstruction
$259.00
Handbuch Regionalbanken
$54.99
