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
Professionelles Zeitmanagement
$49.99
Engineering Open-Source Medical Devices
$199.99
The Seventh International Conference on Safety and Security with IoT
$119.00
Venous Disease
$84.99
Design of Analog Fuzzy Logic Controllers in CMOS Technologies
$129.00
The Race Against Time
$169.99
Moderne Aufklrung
$19.99
Schwierige Machtverhltnisse
$59.99
Smart Power Grids 2011
$219.99
On the Sex of Fish and the Gender of Scientists
$169.99
The Ethics of Survival in Contemporary Literature and Culture
$119.00
Education for Animal Welfare
$169.99
Zen and Western Thought
$109.99
Plant Selection for Bioretention Systems and Stormwater Treatment Practices
$24.99
Einleitung in die Philosophie
$309.00
Congress on Intelligent Systems
$249.99
EPR of Free Radicals in Solids II
$279.99
Macca the Alpaca: A Stack of Alpacas
$5.24
Knowledge Matters
$54.99
Full Stack JavaScript
$29.99
Przisions-Meverfahren zur Bestimmung des elektrischen Leitvermgens geschmolzener Salze
$59.99
The Artemis Lunar Program
$32.99
Software Similarity and Classification
$54.99
Diapause in the Crustacea
$169.99
Moving Histories of Class and Community
$54.99
Marine Natural Products Diversity and Biosynthesis
$89.00
Die Smarte Marketing-Mix-Werkstatt
$69.99
Chronic Wound Management
$159.99
Decision Making in a World of Comparative Effectiveness Research
$84.99
The Cyclic Peptide Toxins of Amanita and Other Poisonous Mushrooms
$169.99
Atlas of Xenopus Development
$84.99
Heat Shock Proteins: Potent Mediators of Inflammation and Immunity
$109.99
Der Quecksilberdampf-Gleichrichter
$79.99
Information Security and Privacy
$109.99
Natrliche und knstliche Intelligenz
$29.99
Financial Intermediation in the 21st Century
$109.99
Sexual Correctness
$59.99
Artificial Intelligence for Sustainable Development
$179.99
Aboriginal Sign Languages of The Americas and Australia
$39.99
Media, Communication and the Struggle for Democratic Change
$109.99
