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
Lipid-Protein Interactions
$89.00
Constraint Programming
$54.99
Progress in Botany / Fortschritte der Botanik
$109.99
Tropfen, Blasen und Lamellen oder Von den Formen flssiger Krper
$49.99
Societies and Social Decision Functions
$39.99
The Impact of Displaced Peoples Temporary Shelters on their Surrounding Environment
$54.99
Codes, Cryptology and Information Security
$89.99
Die Genauigkeit dynamischer Parallaxen
$59.99
Bioelectrochemistry III
$169.99
In-situ Studies with Photons, Neutrons and Electrons Scattering
$84.99
Kulinarische Geheimnisse
$34.99
Pseudodifferential Operators and Nonlinear PDE
$129.99
Computational Visual Media
$89.00
Agro-Environmental Sustainability
$84.99
Proteomics of Peroxisomes
$279.99
Sertoli Cells
$84.99
The History of Ptolemys Star Catalogue
$169.99
Verifikation und Validierung fr die Simulation in Produktion und Logistik
$79.99
The Philosophy of Biology
$219.99
Pattern Recognition and Computer Vision
$79.99
Quantentheorie
$69.99
Challenging Leadership Stereotypes Through Discourse
$129.99
Synthetic Organic Chemistry
$39.99
Lectures on Nuclear Theory
$54.99
Plane Answers to Complex Questions
$119.00
Cultural Afterlives and Screen Adaptations of Classic Literature
$39.99
NASA Formal Methods
$54.99
A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus
$84.99
Praxis der Personzentrierten Psychotherapie
$49.99
Zoey and Sassafras: Dragons and Marshmallows
$3.74
Beginning Windows Phone 7 Development
$29.99
The Very Impatient Caterpillar (Hardcover)
$14.24
Interferon: The 50th Anniversary
$169.00
GSM
$169.00
A Quest for Quality Wine, Every Time
$39.99
Fraud Prevention in Online Digital Advertising
$49.99
Algorithmic Decision Theory
$54.99
Advanced Machine Learning Technologies and Applications
$229.00
Die Apotheken-Gesetzgebung des deutschen Reiches und der Einzelstaaten auf der Grundlage der allgeme
$59.99
Zur Prfung silikonhaltiger Hautschutzsalben
$54.99
