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
Die Welt nach 9/11
$119.99
Biotechnology Products in Everyday Life
$109.00
Entrepreneurship Policy: Theory and Practice
$169.00
Fourier-Malliavin Volatility Estimation
$49.99
Feast for 10: 6-Book Set
$30.95
Shape-Memory Polymers
$259.00
Praxisleitfaden Rivaroxaban
$19.99
Capacity Building in Developing and Emerging Countries
$179.99
Integration von Entwicklungssystemen in Ingenieuranwendungen
$69.99
Advances in Spectroscopy: Molecules to Materials
$109.99
Makro- und mikroskopische Diagnostik der Menschlichen Exkremente
$59.99
Approximation and Online Algorithms
$179.99
A Guide to Penrose Tilings
$64.99
Fundamental Approaches to the Management of Cardiac Arrhythmias
$299.99
Discriminative Learning for Speech Recognition
$29.99
Die Technische Ausnutung des Bodens Seine Bonitierung und Kartographische Darstellung
$59.99
Personalentwicklung fr die neue Fabrik
$34.99
Structure and Function
$109.99
Computational Probability
$139.99
Electrets In Engineering
$279.99
Literature and Science as Modes of Expression
$129.00
Konfigurationen von Messelogistikdienstleistern
$64.99
Modeling and Control of Power Electronic Converters for Microgrid Applications
$79.99
Dermatological Surgery
$219.99
Introduction to the Representation Theory of Algebras
$34.99
Decolonizing and Feminizing Freedom
$119.99
PSpice
$44.99
The Hubbard Model
$219.99
Praxis der Kreditberwachung
$29.99
Mathematik fr Wirtschaftsingenieure 1
$54.99
Introduction to Rights-based Direct Practice with Children
$54.99
Betrieb und Kinderbetreuung
$59.99
Organisation und Netzwerke
$54.99
Betriebliches Umweltmanagement 1993
$69.99
Oprah, Celebrity and Formations of Self
$54.99
Compositional Verification of Concurrent and Real-Time Systems
$84.99
Single Molecule Spectroscopy in Chemistry, Physics and Biology
$169.00
Rntgendiagnostik der Skeleterkrankungen Teil 2 / Diseases of the Skeletal System (Roentgen Diagnosi
$54.99
Deep Electromagnetic Exploration
$169.00
Machine Translation
$54.99
