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
Wastewater from Olive Oil Production
$139.00
Advances in Conceptual Modeling. Recent Developments and New Directions
$39.99
The Gambler and the Scholars
$44.99
Lineare Algebra II
$29.99
Student Movements for the Republic of Kosovo
$39.99
Magnetism and Superconductivity in Iron-based Superconductors as Probed by Nuclear Magnetic Resonanc
$54.99
Amniotic Membrane
$109.99
Principles of Microbial Metabolism and Metabolic Ecology
$109.99
Random Matrices and Iterated Random Functions
$109.99
Spatial Learning and Attention Guidance
$219.99
Electronic Business and Education
$169.00
Semantics: Foundations and Applications
$84.99
Dynamical Processes in Generalized Continua and Structures
$109.99
Assumptions of Grand Logics
$109.99
Gefhlsarbeit in Pflege und Betreuung
$29.99
Phonics Chapter Book - Level 2: What Talent!
$6.74
Learning Through Community Engagement
$159.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Journalism and Digital Content in Emerging Media Markets
$84.99
Seismic Performance of Corroded Reinforced Concrete Structures Retrofitted with FRP
$169.99
The Creation of Israeli Arabic
$109.99
Mobile ASP.NET MVC 5
$44.99
Hair and Scalp Treatments
$99.99
The Political Marketing Game
$54.99
Bone Adventures
$7.49
Geotechnical Lessons LearntBuilding and Transport Infrastructure Projects
$149.00
Ein Rechenmodell zur Beschreibung des Stratosphrischen Ozonkreislaufs
$59.99
Grid Enabled Remote Instrumentation
$219.99
Republican Theory in Political Thought
$109.99
Kapitalmarktorientierte Unternehmensbewertung
$69.99
Advances in Computer Science and Engineering
$329.99
Computational Musicology in Hindustani Music
$54.99
The British Commonwealth and Victory in the Second World War
$109.99
Simply Seven
$54.99
Organic Nitrates
$109.99
Clinical Strategies in the Management of Diabetic Retinopathy
$89.99
Information Technologies in Biomedicine
$329.99
Farming Systems and Sustainable Agriculture in the Himalaya
$169.99
Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications
$59.95
