Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automated Technology for Verification and Analysis
Best Price:
Buy Automated Technology for Verification and Analysis for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
Product Details
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.
Reviews
Questions & Answers
Arzneiverordnungs-Report 2003
$79.99
Photorealistic Rendering in Computer Graphics
$84.99
Liberalism and the Defence of Political Constructivism
$84.99
Similarity Search and Applications
$64.99
Chaos in Gravitational N-Body Systems
$39.99
Value Chains in Sub-Saharan Africa
$109.99
Gender und Diversity: Albtraum oder Traumpaar?
$49.99
Theorie der elektromagnetischen Wellen
$24.99
Tadpole - Who Lives Here?: Who Lives in the Ocean?
$5.21
Geschftsfhrung ohne Stress
$39.99
Methods and Techniques of Signal Processing in Physical Measurements
$279.99
Officer Buckle and Gloria
$5.21
There Was an Old Lady: Un da una seora se trag un pollito!
$3.74
Clinical-MRI Correlations of Anterior Knee Pain
$219.99
Digital Transformations in Nordic Higher Education
$59.99
Die Infektiologie
$349.00
Der Graue Star
$19.99
Advances in Modelling, Animation and Rendering
$219.99
Exploration and Production of Oceanic Natural Gas Hydrate
$169.99
Stone
$79.99
Marke und Gesellschaft
$69.99
Kreative Governance?
$49.99
The River of Doubt- Theodore Roosevelt's Darkest Journey by Candice Millard
$19.00
The ADI Model Problem
$84.99
Exploring Formalisation
$39.99
Basic Limbic System Anatomy of the Rat
$54.99
Der Verkehr mit der Bank
$59.99
Anteil der Konstruktion und des Materials an dem wirtschaftlichen Ausbau niederer Wasserkraft-Gefll
$59.99
Peacekeeping in Africa
$109.99
Phytochromes
$199.99
Green Chromatographic Techniques
$109.99
Why Managers and Companies Take Risks
$84.99
Interdisciplinary Investigations into the Lvov-Warsaw School
$69.99
Heuristic Strategies in the Speeches of Cicero
$39.99
Basic Exercises in Immunochemistry
$109.99
Opening Education to the Outside World
$109.99
Die Arbeitszufriedenheit der Generation Y
$59.99
Interdisziplinre Anthropologie
$44.99
Dividenden, Steuern und Steuerreformen
$44.99
Kompaktlexikon der Biologie - Band 1
$37.99
