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
Write, Draw & Read Sight Word Mini-Books
$8.99
Computational Social Networks
$109.99
Intelligent Systems'2014
$219.99
Schaltungstheorie und Messtechnik des Dezimeter- und Zentimeterwellengebietes
$24.99
The Romanian Orthodox Diaspora in Italy
$54.99
Hagers Handbuch der Pharmazeutischen Praxis
$84.99
Leadership in World Shipping
$179.99
Korruptionsbekmpfung vermitteln
$64.99
Research Advances in Database and Information Systems Security
$84.99
Neurotrophic Factors
$259.00
Keats and Romantic Celticism
$54.99
Reaktortechnik
$84.99
The Adventurous Life of Friedrich Georg Houtermans, Physicist (1903-1966)
$54.99
The Philosophy of Logical Atomism
$159.99
Mehrsprachigkeit im vereinten Europa
$39.99
Internationalisierung kleiner und mittlerer Unternehmen
$74.99
Reliability Engineering
$129.00
Advances in Source Coding
$54.99
Der Fall der Mauer
$79.99
Globalization and International Law
$54.99
Prozessorientiertes Reorganisationscontrolling
$59.99
Communicating Rights
$84.99
Design Representation
$84.99
Advances in Data Analysis, Data Handling and Business Intelligence
$129.00
Learn PySpark
$54.99
Leitprogramm Mathematik fr Physiker 2
$39.99
Fuzzy-Modelle in der Unternehmensplanung
$48.27
Journalismus und Public Relations
$39.99
The Secret Science Alliance and the Copycat Crook
$8.96
Generating Abstraction Hierarchies
$129.00
Altlasten
$229.99
XIth International Astronautical Congress Stockholm 1960
$84.99
Definability and Computability
$219.99
MODA4 Advances in Model-Oriented Data Analysis
$54.99
Information and Communication Technologies in Tourism 2022
$59.99
Phenolic Based Foams
$249.99
Out of Hiding
$5.24
Navigating Work and Life Boundaries
$129.99
African American Gothic
$129.99
Application of Imaging Techniques to Mechanics of Materials and Structures, Volume 4
$219.99
