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
Cardiovascular Aspects of Marfan Syndrome
$109.99
Cereals and Pseudocereals
$219.99
Resilienz fr die VUCA-Welt
$74.99
Advanced Multimedia Content Processing
$39.99
Advanced R Statistical Programming and Data Models
$79.99
ber die Wahre Bewegung der Sterne
$54.99
Ansthesie: Fragen und Antworten
$54.99
Women and State Socialism
$54.99
Creative Collaboration in Teaching
$39.99
Differential Equations in Banach Spaces
$34.99
Enablers of Organisational Learning, Knowledge Management, and Innovation
$159.99
Einfhrung in die Festigkeitslehre fr Studierende des Bauwesens
$59.99
Theological Reflections on the Hong Kong Umbrella Movement
$119.99
Die rechtsgeschftliche bertragung von Kommanditanteilen
$59.99
MODAK - Modalittenaktivierung in der Aphasietherapie
$39.99
Kapitalmarktorientierte Sicherheitsquivalente
$89.99
Perioperative Medicine Current Controversies
$129.00
Data-Driven Process Discovery and Analysis
$54.99
Comparative Physiology of the Heart: Current Trends
$39.99
Instructional Design Unleashed
$49.99
Mobile Agents for Telecommunication Applications
$54.99
Funktionsdiagnostik des Bewegungssystems in der Sportmedizin
$54.99
Kinderradiologie 2
$89.00
Gesellschaftliche Teilhabe trotz Schulden?
$59.99
Field Emission Electronics
$199.99
Pediatric Hydrocephalus
$169.00
Unannehmbar-Sein
$39.99
Practice of Intramedullary Locked Nails
$39.99
Terrorism and Counter-Terrorism in Africa
$109.00
CATBox
$64.99
Linear and Nonlinear Optical Spectroscopy and Microscopy
$129.99
Macroeconomic Theory and Macroeconomic Pedagogy
$54.99
Production, Marketing and Use of Finger-Jointed Sawnwood
$54.99
Bile Acids in Gastroenterology
$159.99
Portfolio Selection Using Multi-Objective Optimisation
$129.99
Computational Intelligence in Games
$109.99
Schmerz und Schmerzhaftigkeit
$59.99
Management of Benign Biliary Stenosis and Injury
$109.99
The Christian Philosophy of William Temple
$109.99
Natural Resources Management and Sustainable Livelihoods in the Mountainous Region
$169.99
