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
Magnetic Measurements on Organic Compounds
$54.99
Exact and Truncated Difference Schemes for Boundary Value ODEs
$54.99
Portfoliomanagement im Konzern
$59.99
New Perspectives in Critical Data Studies
$49.99
Geodetic Boundary Value Problem: the Equivalence between Molodenskys and Helmerts Solutions
$54.99
Independent Component Analysis and Signal Separation
$109.99
Variable-Structure Approaches
$109.99
Verb Movement and the Syntax of Kashmiri
$169.99
The Conception of God in the Later Royce
$109.99
Conflict in World Politics
$109.99
Public Values for Cities and City Policy
$99.00
Ganesha's Sweet Tooth
$5.96
Viscous Flows
$109.99
Data Analytics and Learning
$169.99
Enabling Semantic Web Services
$39.99
Ernest Hemingway in Interview and Translation
$119.99
Gender and Memory in the Globital Age
$109.99
Biosensing with Silicon
$64.99
Current Concepts of Intestinal Failure
$84.99
The Cranial Nerves in Neurology
$119.00
The Bacteriophages
$84.99
Smart Technologies for Smart Nations
$84.99
Introduction to Data Science in Biostatistics
$99.00
Critical Issues in American Psychiatry and the Law
$84.99
The Earth's Rotation and Reference Frames for Geodesy and Geodynamics
$219.00
Identifikation von Bndelinitiatoren
$64.99
American Anti-Nuclear Activism, 1975-1990
$54.99
Prehistoric Iberia
$84.99
Organizational Management in Post Pandemic Crisis
$219.99
Gm-C Filter Synthesis for Modern RF Systems
$169.99
First Little Comics: I Am Just Too
$3.71
Clinical Cases in Disorders of Melanocytes
$39.99
Congruences for L-Functions
$54.99
A Roadmap to Future Space Connectivity
$199.99
Concerning Natural Experimental Philosophie
$109.99
Principles and Practice of Modern Radiotherapy Techniques in Breast Cancer
$219.99
Ireland and Masculinities in History
$99.00
Regressionsanalyse in der empirischen Wirtschafts- und Sozialforschung Band 1
$29.99
Ideology, Regionalism, and Society in Caribbean History
$119.99
Herz und Kreislauf bei maligner Hyperthermie
$69.99
