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
Rigid Body Dynamics of Mechanisms 2
$379.99
Investigations into the Combustion Kinetics of Several Novel Oxygenated Fuels
$219.99
Optical Character Recognition
$129.00
Anstze zur abnehmerorientierten Werkstoffauswahl im Rahmen des Produktentstehungsprozesses
$59.99
Optical Characterization of Epitaxial Semiconductor Layers
$54.99
BioNanotechnology
$37.99
Mathematical Theory of Elastic Structures
$39.99
Collaboration Technologies and Social Computing
$49.99
Robustness Optimization for IoT Topology
$169.99
Sky and Earth
$37.99
Ethics in Research
$129.99
Government Measures for the Promotion of Regional Economic Development
$54.99
Zur Soziologie des Gerichtsverfahrens (Sociology of the Judicial Process)
$49.99
The Parthenon Marbles and International Law
$179.99
School's First Day of School by Adam Rex
$18.99
Das Studium: Vom Start zum Ziel
$19.99
Towards Trustworthy Artificial Intelligent Systems
$84.99
Machine Learning in the Oil and Gas Industry
$44.99
Coelenterate Ecology and Behavior
$219.99
Social Entrepreneurship Business Models
$39.99
The Regional Politics of Welfare in Italy, Spain and Great Britain
$54.99
Image Analysis and Recognition
$54.99
Psychosomatische Medizin
$49.99
Finanzbuchhaltung und Gemeinkosten-Controlling mit SAP
$54.99
Advances in Nd:YAG Laser Surgery
$84.99
SOFSEM '97: Theory and Practice of Informatics
$39.99
Minerals Handbook 199697
$74.99
Regulation of Immune Gene Expression
$109.99
Stochastic SpaceTime Models and Limit Theorems
$54.99
New Trends and Applications in Internet of Things (IoT) and Big Data Analytics
$149.00
Progress in Cryptology INDOCRYPT 2017
$39.99
Geothermics in Basin Analysis
$109.99
Kennzahlen der Privaten Krankenversicherung
$69.99
Localizing Foreign Policy
$39.99
Transforming Public Enterprise in Europe and North America
$109.99
Moral Crusades in an Age of Mistrust
$37.99
Starbursts: Triggers, Nature, and Evolution
$109.99
Mental Health and Addiction Care in the Middle East
$109.99
In Vitro Toxicity Testing of Environmental Agents
$84.99
Waste Disposal and Evaporites
$39.99
