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
Design Thinking and the New Spirit of Capitalism
$84.99
Teacher Professional Learning in International Education
$39.99
Outsourcing of R&D in the Pharmaceutical Industry
$109.99
Computational Mathematics, Numerical Analysis and Applications
$129.99
Artificial Intelligence in Healthcare
$329.99
Advances in Intelligent Information Hiding and Multimedia Signal Processing
$229.00
Erfolgsfaktoren in stagnierenden und schrumpfenden Mrkten
$59.99
Advances in Wireless Communications and Applications
$129.00
The Political Economy of Anti-dumping Protection
$54.99
Response of the Nuclear System to External Forces
$39.99
Solar Energy for Development
$54.99
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, In
$99.99
Bordnetze und Powermanagement
$39.99
Advanced Modeling of Management Processes in Information Technology
$109.99
The Unfolded Protein Response in Cancer
$109.99
Integrated Sensing and Communications
$189.00
Derrida and Technology: Life, Politics, and Religion
$109.99
Programmieren mit Kara
$29.99
Multiphased Ceramic Materials
$109.99
Lai-Massey Cipher Designs
$169.99
Innovation and Structural Change in Post-Socialist Countries: A Quantitative Approach
$329.99
Environment and Security
$109.99
The European Union and its Neighbours
$109.99
Freistrahlturbinen
$99.99
Planning of Eco-efficient Process Chains for Automotive Component Manufacturing
$139.99
Handbuch Karriere und Laufbahnmanagement
$159.00
Destined to Lead
$39.99
Self-aware Computing Systems
$84.99
National Geographic Kids Readers: De la oruga a la mariposa
$2.99
Advances in Speech Recognition
$169.99
Corona: Todesangst und Hilfsbereitschaft
$74.99
Big Data
$64.99
Elektronik fr Einsteiger
$29.99
Advances in Computer Graphics
$39.99
Genocide, Risk and Resilience
$39.99
DNA and Destiny
$39.99
Neuroleadership die Grundannahmen in kritischer Analyse
$17.99
Soft Computing and its Engineering Applications
$54.99
Central Neurotransmitter Turnover
$54.99
Services SERVICES 2021
$59.99
