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

Die Orientierung von Online-Journalismus an seinen Publika

$49.99

Qualittsorientierte Unternehmensfhrung

$39.99

Economics of Accounting

$499.99

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

$54.99

Symmetry and Economic Invariance: An Introduction

$84.99

Korruption im Profifuball in Deutschland

$64.99

Diversitt in Marketing & Sales

$44.99

Securing South Africa's Democracy

$169.99

Integrated Omics Approaches to Infectious Diseases

$169.00

Performancemessung und die Steuerung von Investitionsentscheidungen

$59.99

Environment and Development

$129.99

Quantum Optics, Experimental Gravity, and Measurement Theory

$169.00

Individualdatenschutz im europischen Datenschutzrecht

$19.99

Culture and International Law

$69.95

Frontiers in Algorithmics

$54.99

Bronchiale Hyperreaktivitt und Entzndung

$59.99

The pain stethoscope:

$54.99

Knowledge Graphs and Language Technology

$54.99

Corporate Governance in Banking and Investor Protection

$99.00

New Horizons in Chinese Linguistics

$219.99

Wish Novels: Blizzard Besties

$5.24

User Modeling, Adaption, and Personalization

$54.99

Immunohematology, Transfusion Medicine, Hemostasis, and Cellular Therapy

$129.99

Electrospinning of Graphene

$139.00

Romansy 13

$39.99

Queer BDSM Intimacies

$129.00

Rescue

$6.74

Advances in Knee Ligament and Knee Preservation Surgery

$179.99

The Responsible Software Engineer

$109.99

Sicherheit und Rechtsverbindlichkeit mobiler Agenten

$69.99

Real Option Analysis and Climate Change

$79.99

Tunnel of Bones (City of Ghosts #2) (Hardcover)

$13.49

Nanobiosensors for point-of-care medical diagnostics

$169.99

Abwechslungsbedrfnis und Werbewirkung

$74.99

Parenting as Spiritual Practice and Source for Theology

$129.99

The Structure and Content of Molecular Clouds

$84.99

White Matter Injury in Stroke and CNS Disease

$219.99

Untersuchung des Schichtverzuges am Beispiel der Hochleistungsemulsion KODAK 103-F

$59.99

Das Sttzengescho der Pisaner Domkanzel

$59.99

Microorganisms in Foods 6

$299.00