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 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
Reviews
Questions & Answers
Mathematische Kompetenzen von Schlerinnen und Schlern in Deutschland
$49.99
International Handbook of Career Guidance
$249.99
Ein neues Software-System (RAMSES) zur Verarbeitung NMR-spektroskopischer Daten in der bildgebenden
$69.99
National Geographic Little Kids First Big Book of Why by Amy Shields
$14.95
Mechanosensitivity of the Nervous System
$219.99
Acta Demographica 19941996
$59.99
Oceanic Basalts
$39.99
Molecular Basis for Therapy of AIDS-Defining Cancers
$169.99
Local Treatment of Inflammatory Joint Diseases
$59.99
Framing Global Mathematics
$59.99
C-C Cross Couplings with 3d Base Metal Catalysts
$329.99
Atomphysik
$44.99
Fhren mit Visionen
$39.99
Kosteneffiziente und nachhaltige Automobile
$79.99
Optimal Coverage in Wireless Sensor Networks
$139.99
Potato Staple Food Processing Technology
$54.99
Arbeiten aus dem Neurologischen Institute an der Wiener Universitt
$59.99
Hans Pfitzner und der Nationalsozialismus
$39.99
Micromolecular Evolution, Systematics and Ecology
$109.99
China and the United States
$54.99
Stalin on Linguistics and Other Essays
$109.99
Atlas of Bedforms in the Western Mediterranean
$169.99
Anleitung zur Gesundheitspflege auf Kauffahrteischiffen
$59.99
Tech Horizons
$54.99
Nonlinear Approaches in Engineering Applications 2
$169.99
Crystalline Bacterial Cell Surface Layers
$84.99
Liver Cirrhosis
$54.99
Recent Advancements in Biomarkers and Early Detection of Gastrointestinal Cancers
$109.99
Product Development in the Socio-sphere
$84.99
High Resolution Numerical Modelling of the Atmosphere and Ocean
$199.99
Tracking Differentiator Algorithms
$139.99
Mechanical Vibrations
$109.99
Economic Aspects of AIDS and HIV Infection
$109.99
Distributed, Parallel and Biologically Inspired Systems
$39.99
Der verzagte Staat Policy-Analysen
$59.99
Die Satisfaction-Profit Chain in der Logistikdienstleistungsbranche
$69.99
Statistical Analysis of Counting Processes
$54.99
Ein Cockpit fr den Aufsichtsrat
$79.99
Artificial Intelligence Education in the Context of Work
$139.99
7th International Conference on Automated Deduction
$109.99
