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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Kinderzeichnungen in der qualitativen Forschung
$69.99
3D Printing with MatterControl
$39.99
Beyond Parenting Advice
$27.99
Rectal Cancer
$169.99
Lectures on Mathematical Theory of Extremum Problems
$54.99
bungen zur Einfhrung in die Informatik
$54.99
Nachrichtendienste in der Weltgesellschaft
$74.99
The Ultimate LEGO Technic Book
$59.99
Solar Energy Utilization
$329.99
The Fundamentals of Atomic and Molecular Physics
$49.99
A Natural Introduction to Probability Theory
$39.99
Yeasts in Natural Ecosystems: Diversity
$249.99
Advances in Technology Transfer Through IoT and IT Solutions
$54.99
Teilchenzhlung und Dosimetrie mit Silizium-PN-Sperrschichten
$54.99
Holding Power to Account
$109.00
Bio-based Polymers and Nanocomposites
$179.99
Graph Transformation
$64.99
Diseases of the Liver and Bile Ducts
$89.00
Constrained Optimization and Optimal Control for Partial Differential Equations
$169.99
Corrosion in CO2 Capture, Transportation, Geological Utilization and Storage
$149.00
Magnetite Biomineralization and Magnetoreception in Organisms
$129.00
Practical WPF Charts and Graphics
$79.99
Resource Recombination in Firms from a Dynamic Capability Perspective
$109.99
The International Thought of Herbert Butterfield
$129.99
Expressive Movement
$54.99
Sobolev Spaces of Infinite Order and Differential Equations
$54.99
Gas Discharge and Gas Insulation
$54.99
Neue Beitrge zur Theoretischen Pathologie
$54.99
The Failure of a Liberal Colonial Policy
$54.99
Molecular Neurobiology 1988
$219.99
Poetics of Prose
$59.99
Knowledge, Innovation and Sustainable Development in Organizations
$99.00
Die doppelte Dokumentation
$49.99
Theoretische Untersuchung ber Schubdsen mit Strahlbeimischung und Wrmeaustausch
$84.99
Biomaterials Science and Biocompatibility
$39.99
International Mineral Economics
$89.99
Land Use Management in Disaster Risk Reduction
$129.00
Air Traffic and the Environment Background, Tendencies and Potential Global Atmospheric Effects
$109.99
Phenomenology and Treatment of Psychophysiological Disorders
$39.99
Grassroots Democracy and Governance in India
$129.99
