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
Responses to Geographical Marginality and Marginalization
$169.99
SQUID Sensors
$39.99
Theorem Proving in Higher Order Logics
$39.99
Pro Freeware and Open Source Solutions for Business
$34.99
Gleichstromtechnik
$44.99
Hrfunk-Information
$59.99
Organisationskommunikation
$79.99
Proceedings / Parcella 1988
$39.99
Das sowjetische Regierungssystem
$59.99
Big Data Analytics
$39.99
International Trade and Labour Markets
$84.99
Mediaselektion
$64.99
Compliance-Management
$17.99
Of Fish, Fly, Worm, and Man
$39.99
Wohngebudeerneuerung
$99.00
Gender Politics and Mass Dictatorship
$99.00
Quantum Monte Carlo Methods in Physics and Chemistry
$219.99
Das Widerspruchsprinzip in der Neueren Sowjetischen Philosophie
$89.99
German Freedom and the Greek Ideal
$54.99
Hydrometallurgical Process Fundamentals
$169.00
National Innovation Efficiency During the Global Crisis
$84.99
Classroom Friends
$4.46
Predatory Prokaryotes
$169.99
Service-orientierte Geschftsmodelle
$39.99
Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains
$54.99
Dictionary of Global Climate Change
$39.99
Disaster in the Boardroom
$49.99
Collective Choice
$109.99
Stem Cells and Tissue Repair
$199.99
High Performance Computing Systems and Applications
$129.00
Geophysik Signale aus der Erde
$39.99
Human and Energy Factors in Urban Planning: A Systems Approach
$169.99
Knowledge-Based Systems in Biomedicine and Computational Life Science
$109.99
Giving Death a Helping Hand
$169.99
Chemical, Structural and Electronic Analysis of Heterogeneous Surfaces on Nanometer Scale
$54.99
Phenomenology and Perspectives on the Heart
$139.99
Forensic Imaging of Trauma
$89.00
Trade and Development Policies
$109.99
Birnbaum's 2023 Walt Disney World for Kids by Birnbaum Guides
$12.99
Social Protection and Social Development
$59.99
