Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030591526
Condition
New
Product Description

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Cognitive Behavioral Therapy in a Global Context

$249.99

Diagnosis and Management of Polycystic Ovary Syndrome

$109.99

Theorien des PR-Managements

$39.99

Scenario Thinking

$54.99

Umweltschutz als sozialer Proze

$69.95

The Role of Economic Advisers in Israel's Economic Policy

$109.99

Contactless Healthcare Facilitation and Commodity Delivery Management During COVID 19 Pandemic

$159.99

Untersuchung der Zusammenhnge zwischen den Merkmalen neuartiger Nadelfilzkonstruktionen und ihren F

$59.99

Moderne Holzwerkstoffe

$59.99

Monte Carlo Search

$69.99

Water Law, Policy and Economics in Italy

$159.99

Therapy Response Imaging in Oncology

$99.99

Frhmoderne Hflichkeit

$59.99

Principle, Design and Optimization of Air Balancing Methods for the Multi-zone Ventilation Systems i

$109.99

Problem Solving Handbook in Computational Biology and Bioinformatics

$84.99

Kurs Allgemeine Pathologie

$19.99

The Growth Behavior of Family Firms

$54.99

Solving Problems in Mathematical Analysis, Part III

$89.99

Multiphase Flow Dynamics 1

$169.00

Integration and Differentiation in the European Union

$84.99

Wissensmanagement im Krankenhaus

$74.99

Tenth International Conference on Applications and Techniques in Cyber Intelligence (ICATCI 2022)

$249.99

Northern Finlands Post-War Colonizing and Emigration

$54.99

Post-Translational Modification of Proteins

$169.00

Integralgleichungen

$49.99

Revisiting the Foundations of Relativistic Physics

$169.99

Atlas of Internal Fixation

$74.99

Corporate Environmentalism in China and Taiwan

$109.99

The Coagulation Labyrinth of Covid-19

$159.99

Deutschlands Energiewende Fakten, Mythen und Irrsinn

$14.99

Radon Integrals

$84.99

Europe in Progress

$69.99

Imaging Techniques of the CNS of the Neonates

$84.99

Informationsbedarf und Informationsinstrumente des betrieblichen Emissionsmanagements

$74.99

Journalismus und Public Relations

$49.99

Evidence-Based Imaging in Pediatrics

$109.99

Computer Architecture

$54.99

Renewable Energy

$49.99

Kommunikation und Nachhaltigkeit im Innovationsmanagement von Unternehmen

$24.99

Philosophy and Political Engagement

$54.99