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 proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Reviews
Questions & Answers
Managing Metastatic Prostate Cancer In Your Urological Oncology Practice
$79.99
Widerstand und Konformismus
$44.99
Non-Neuronal Mechanisms of Brain Damage and Repair After Stroke
$169.99
Sekretariat-Knigge
$44.99
Hombre Perro: El Seor de las Pulgas (Dog Man #5) (Hardcover)
$9.74
Climate Risk and Business
$49.99
Cuban Sugar Industry
$84.99
In Tandem Pathways towards a Postcolonial Anthropology | Im Tandem Wege zu einer postkolonialen
$39.99
Leadership - mehr als Management
$54.99
Gerste und Schalungen im konstruktiven Ingenieurbau
$159.99
Structural Sensitivity Analysis and Optimization 1
$189.00
Die Hochdrucklokalansthesie
$59.99
Advances in Machine Learning for Big Data Analysis
$149.00
The Future of Humanitarian Mine Action
$109.99
Angelo Zottoli, a Jesuit Missionary in China (1848 to 1902)
$109.99
Barakah Beats
$5.99
Industriebetriebslehre
$44.99
Hi Lo Adventure Chapter Books: Virtual Reality
$7.46
Problems of Point Blast Theory
$109.99
Einfhrung in die Geophysik II
$59.99
The Aegean Sea After the Cold War
$169.99
Datenbanksysteme: Konzepte und Modelle
$69.95
Carbon Dioxide as a Source of Carbon
$169.00
Die Regierungssysteme der deutschen Lnder
$44.99
On Science, Inference, Information and Decision-Making
$84.99
Advances in Mathematical Economics Volume 17
$39.99
Akzeptanz von Kunstlicher Intelligenz
$59.99
Zukunftsweisende Konzepte fr die EDV-Ausbildung
$59.99
Wide Area Power Systems Stability, Protection, and Security
$139.99
Antibiotika in der Praxis 2019 - 2020
$34.99
Molecular Biophysics of the Extracellular Matrix
$54.99
Computer Vision ECCV 2016
$109.99
Wirkung von Preisen und Werbung als Instrumente des Revenue Managements
$49.99
Calcium Channel Blockers
$129.00
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
$169.99
Laser Scanning Applications in Landslide Assessment
$169.99
Resilienz im Unternehmen - den Faktor Mensch frdern
$64.99
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runt
$54.99
Oceanology of China Seas
$84.99
Differentiation and Development / Differenzierung und Entwicklung
$64.99
