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 (Coupon Required):
Buy Automated Technology for Verification and Analysis for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Proceedings of the Third GAMM Conference on Numerical Methods in Fluid Mechanics
$59.99
Generationenvertrag und demographischer Wandel
$74.99
Aus Hitlers Krieg durch Stalins GULag
$37.99
Theoretische Elektrotechnik und spezielle Relativittstheorie
$29.99
Protein Reviews
$109.99
Specimen Handling, Preparation, and Treatments in Surface Characterization
$129.00
Youth and Sexualities
$54.99
Analysing Structure in Academic Writing
$109.99
Kapitalkosten bei unsicheren Erwartungen
$69.99
Energiemodelle fr die Bundesrepublik Deutschland
$49.99
Conventions and Craft, Grade 5
$135.00
Brain Function and Responsiveness in Disorders of Consciousness
$109.99
A Brief History of Now
$37.99
Die Selbstnarkose der Verwundeten in Krieg und Frieden
$59.99
Clay Printing
$64.99
Lyme Borreliosis
$169.99
Mastering Microsoft Fabric
$59.99
Recent Advances in Intuitionistic Fuzzy Logic Systems and Mathematics
$179.99
A Confucian Analysis on the Evolution of Chinese Patent Law System
$169.99
Versuche ber den Einflu der Gestalt der Enden von aufgeschweiten Laschen in Zuggliedern und von a
$54.99
Economic and Ecological Significance of Arthropods in Diversified Ecosystems
$219.99
Total War and Social Change
$59.99
The Tokyo University Trial and the Struggle Against Order in Postwar Japan
$109.99
Compressed Sensing and its Applications
$109.99
Practical Handbook of Thoracic Anesthesia
$119.00
Philosophy and Neuroscience
$119.99
Viral Messenger RNA
$169.00
Palaeozoic Fishes
$39.99
The Dynamics of Nonlinear Reaction-Diffusion Equations with Small Lvy Noise
$49.99
Peace, Security and Defence Cooperation in Post-Brexit Europe
$139.99
Auftrags- und Projektmanagement
$74.99
Blue Light Effects in Biological Systems
$129.00
Mathematische Logik - kurzgefasst
$29.99
Digital Convergence - Libraries of the Future
$169.99
Schule fhren im Spannungsfeld von Stabilisierung und Vernderung
$69.99
Laser Applications in Medicine and Biology
$169.00
The Euro as a Stabilizer in the International Economic System
$169.99
Rick (Hardcover)
$13.49
Ettore Majorana
$89.99
Klimawandel hautnah
$19.99
