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
Information Systems Security and Privacy
$84.99
From Allies to Enemies
$129.99
Introduction to Software Architecture
$59.99
Coronary Circulation
$39.99
Differentiating the Higher Education System of Ethiopia
$79.99
Vorausberechnung des Teillastverhaltens von Gasturbinen
$34.99
Decision and Game Theory for Security
$54.99
Empathy-Based Ethics
$69.99
The Anatomy of Change
$39.99
Modern Foraminifera
$64.99
The Going to Bed Book
$5.24
Dynamisches Automobilmanagement
$54.99
Content Marketing fr Regionalbanken
$39.99
Methoden der grafischen und geometrischen Datenverarbeitung
$69.95
An Archaeology of Improvement in Rural Massachusetts
$54.99
Digital Resources for Learning
$99.99
Soziale Arbeit, Gerechtigkeit und das gute Leben
$74.99
Content-Based Analysis of Digital Video
$84.99
Die Abwrmeverwertung im Kraftmaschinenbetrieb
$69.99
Cyber-Collaborative Algorithms and Protocols
$99.00
BEM-based Finite Element Approaches on Polytopal Meshes
$109.99
Naher Osten, Nordafrika und die EU im 21. Jahrhundert
$74.99
Social Influences and Socialization in Infancy
$109.99
Collaborative Planning in Supply Chains
$84.99
Dilute III-V Nitride Semiconductors and Material Systems
$169.99
Whos Who in Fluorescence 2004
$54.99
Die Messung kleiner Rauschtemperaturen und die Messung der Eigenschaften einer 25-m-Antenne bei 1,4
$59.99
Modelling Foundations and Applications
$44.99
Childhood, Memory and Autobiography in Holland
$109.99
Media, Culture and Society in Putin's Russia
$54.99
Indirect Sampling
$84.99
Architecture of Computing Systems ARCS 2020
$54.99
Advances in Knowledge Discovery and Management
$109.99
Court Delay and Law Enforcement in China
$39.99
Medienwelten Medienorte
$59.99
geo@web
$39.99
Advances in Artificial Life
$39.99
Planung und Durchfhrung von Investitionen
$49.99
Design and Engineering of Intelligent Communication Systems
$169.00
Weight Bearing Cone Beam Computed Tomography (WBCT) in the Foot and Ankle
$69.99
