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
Grundkurs Buchfhrung
$29.99
Crossroad of Arts, Crossroad of Cultures
$84.99
Marktforschung
$74.99
Frau Sein
$59.99
Teil I: Referate
$69.99
Pade Approximants for Operators
$29.99
Integralrechnung fr Hhlenmenschen und andere Anfnger
$17.99
Best Practices in Management Accounting
$109.99
The Potato Genome
$199.99
kologischer Leitfaden fr Kreditinstitute
$69.99
Iron Chelation Therapy
$109.99
SharePoint 2007 Development Recipes
$49.99
Epilepsie Narkolepsie Spasmophilie Migrne Vasomotorisch-Trophische Erkrankungen Neurasthenische
$84.99
Advances in Human Factors and System Interactions
$169.99
Partnerships in International Policy-Making
$84.99
Nachhaltige Entwicklung und Weltwirtschaftsordnung
$59.99
Self-Reference and Modal Logic
$119.99
Sprechwissenschaft & Psycholinguistik
$44.99
Grauzone and Completion of Meiosis During Drosophila Oogenesis
$84.99
Environmental Determinants of Human Health
$169.99
13 Lectures on Fermat's Last Theorem
$54.99
Institutional Context of Education Systems in Europe
$84.99
Management Control and Uncertainty
$109.99
Thin Shell Theory
$54.99
Metal Catalysed Reactions in Ionic Liquids
$199.99
Fugenbewegungen bei Betonfahrbahnen und ihre Abhngigkeit von der Temperatur bei unterschiedlicher O
$59.99
Organisierter Konflikt in westeuropischen Parteien
$64.99
The Future of United States, China, and Taiwan Relations
$54.99
Computational Methods for General Sparse Matrices
$109.99
Studies in Phenomenology
$109.99
Kann man einem Psychiater trauen?
$19.99
Erfolgreiche Teamleitung in der Pflege
$29.99
Chronically Evolving Viral Hepatitis
$54.99
Wound Regeneration
$99.00
Lebensstile, Wohnbedrfnisse und rumliche Mobilitt
$44.99
VLSI Placement and Global Routing Using Simulated Annealing
$169.99
Marketing auf neuen Wegen
$59.99
Flexible Gestaltung des Analyseprozesses technischer Probleme mit TRIZ-Werkzeugen
$79.99
Ranger in Time: Night of Soldiers and Spies
$5.24
Bedeutsame Momente im Coaching
$59.99
