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 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 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
Advanced Fuzzy Systems Design and Applications
$109.99
Student Assessment in Digital and Hybrid Learning Environments
$119.99
The Challenge of World Theatre History
$59.99
Precast Concrete Raft Units
$329.99
Designed to persuade
$29.99
Wasserstoff als Energietrger
$169.99
Kanalinspektion
$179.99
Vorwissen als ntige Voraussetzung und potentieller Strfaktor beim mathematischen Modellieren
$49.99
External Imbalances and Policy Constraints in the 1990s
$39.99
Smart Card Research and Advanced Applications
$169.00
rtliche Teilhabeplanung mit und fr Menschen mit Behinderungen
$44.99
Plant Growth Substances
$169.99
One Hundred Years of Chemical Engineering
$219.99
So verkauft man Versicherungen
$59.99
Services Computing SCC 2019
$39.99
Experimental Acoustic Inversion Methods for Exploration of the Shallow Water Environment
$109.99
Phosphoinositides
$169.99
Iron Geochemistry: An Isotopic Perspective
$159.99
Emerging Trends in Terahertz Solid-State Physics and Devices
$129.00
Die Wirtschaft Japans
$74.99
Disarming Military Industries
$44.99
Your Passport to Gifted Education
$59.99
General Index
$84.99
Auxetic Materials and Structures
$219.99
Amazonian Floodplain Forests
$169.00
Molecular Approaches to Improving Food Quality and Safety
$39.99
Das Wechselverhalten von Konsumenten im Strommarkt
$89.99
Microbial Genomes
$219.99
Immersive Analytics
$99.99
Kommunikation im Projektmanagement
$79.99
Affective Relations
$119.99
Determinants of FDI Flows within Emerging Economies
$109.99
Klassenlage und transnationales Humankapital
$59.99
Masterpieces of Swiss Entrepreneurship
$49.99
Forty Years of Renovating the Income Distribution in China
$129.99
Data Acquisition Systems
$139.99
Quantum Non-linear Sigma-Models
$139.99
Quantenmechanik (QM I)
$44.99
Verkaufskomplexitt im Auendienst
$59.99
Baumwollspinnerei
$59.99
