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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Will Grayson, Will Grayson by John Green

$14.99

Literary Cultures and Medieval and Early Modern Childhoods

$129.99

Ecological Tourism in the Republic of Kazakhstan

$169.99

Peace Building in Northern Ireland, Israel and South Africa

$109.99

Intentionalitt als Verantwortung

$109.99

Molecular and Cellular Biology of Platelet Formation

$239.00

The Development of the French Economy, 17501914

$39.99

Using Energy Crops for Biofuels or Food: The Choice

$109.99

Gabler / MLP Berufs- und Karriere-Planer IT und e-business 2007/2008

$19.99

Low Frequency Radio Observations of Galaxy Clusters and Groups

$109.99

Pediatric Gender Identity

$119.99

Hochfrequenztechnik in Funk und Radar

$44.99

Der normale und der atrophische Knochen der unteren Nasenmuschel

$44.99

Diffuse bergnge

$39.99

International Migrations and Local Governance

$159.99

Zur Aktualitt von Max Horkheimer

$24.99

Anticipatory Behavior in Adaptive Learning Systems

$39.99

Architectural Transformations in Network Services and Distributed Systems

$64.99

Der Garten der Unendlichkeit

$49.99

Pivotal Certified Spring Web Application Developer Exam

$49.99

Stress, Self-Esteem, Health and Work

$54.99

Party Proliferation and Political Contestation in Africa

$39.99

Studien zur Geschichte der Chemie Festgabe

$79.99

Epiduroscopy

$59.99

Frontier Research in Behavioral Public Administration

$139.99

International Accounting Standards fr den deutschen Konzernabschlu

$59.99

Global Marriage

$54.99

Spontaneous Formation of Space-Time Structures and Criticality

$259.00

The Character of the Manager

$109.99

NGOs in Contemporary Britain

$109.99

Autonome Innervation des Herzens Myokardiale Hypoxie

$44.99

Beam-Foil Spectroscopy

$54.99

The Quark Structure of Hadrons

$99.99

Investing in Emerging Markets

$19.99

Speech and Computer

$54.99

Praktikum des modernen VLSI-Entwurfs

$44.99

Greening Water Risks

$59.99

Vertebral Lesions

$99.00

The Role of Student Services in Higher Education

$159.99

Pro Spring MVC: With Web Flow

$39.99