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
Medicinal Plants
$149.00
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
$109.99
Combinatorial Optimization
$79.99
Biosalinity in Action: Bioproduction with Saline Water
$219.99
Function Spaces
$219.99
Mitochondrial Diseases
$84.99
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus
$379.99
Organized Crime as Institutional Cluster
$49.99
Canadian Society: Sociological Perspectives
$89.99
Lower Limb Deformities
$279.99
Organised Cultural Encounters
$109.00
Microcavities and Photonic Bandgaps: Physics and Applications
$329.99
Infections and Athritis
$39.99
Downward Causation and the Neurobiology of Free Will
$199.99
Bau-Projektmanagement fr Einsteiger
$69.99
State and Market in the Chinese Economy
$129.00
The Political Economy of Social Choices
$159.99
The Unsolved Universe: Challenges for the Future
$54.99
Slavery as an Industrial System
$39.99
Bismuth-Containing Alloys and Nanostructures
$129.00
Democratic Counterinsurgents
$54.99
3D Printed Science Projects
$49.99
Mandibular Growth Anomalies
$329.99
Mathematical Optimization Theory and Operations Research: Recent Trends
$119.99
Komplexitt im Projektmanagement
$29.99
The Vale of Tears (Emek Habacha)
$54.99
Die ganze Demokratie
$29.99
Die Aktiengesellschaft und der Konzern
$59.99
Fuzzy Systems and Soft Computing in Nuclear Engineering
$169.99
Bioenergy Research: Integrative Solution for Existing Roadblock
$249.99
Verhandlungsbericht der Deutschen Gesellschaft fr Urologie
$59.99
Global Governance in the Twenty-first Century
$84.99
Structural Information from Spin-Labels and Intrinsic Paramagnetic Centres in the Biosciences
$329.99
The Significance of the Lvov-Warsaw School in the European Culture
$129.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2023
$79.99
Motivation strken in Therapie und Beratung
$39.99
Strategy and Performance
$109.99
Das Zweite - kompakt
$4.99
Atlas of Minimally Invasive Facelift
$159.99
Einfhrung in die geometrische und physikalische Kristallographie
$59.99
