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
9783030888855
Condition
New
Product Description

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. 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 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

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

Single Product Purchase

$58.50
@ 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
$64.99 $64.99

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

Similar Products

Inverse Magnetometry

$89.99

HCI in Mobility, Transport, and Automotive Systems

$109.99

Handbuch Baubetrieb

$69.99

VHDL Answers to Frequently Asked Questions

$129.00

From Molecule to Men

$84.99

Die Probleme des Rapallo-Vertrags

$59.99

With All My Heart, I Love You

$6.74

High-Dimensional Data Analysis in Cancer Research

$109.99

Elektrische Energieverteilung

$44.99

Evolvable Hardware

$54.99

Globalized Finance and Varieties of Capitalism

$89.99

Agent-Oriented Information Systems

$54.99

Politisches Denken. Jahrbuch 1994

$39.99

Performance, Transport and Mobility

$44.99

The Soybean Genome

$199.99

Handbuch der Eisen- und Stahlgieerei

$69.99

Conflict and Catastrophe Medicine

$279.99

Microbial Nanobiotechnology

$179.99

The Metric Theory of Banach Manifolds

$34.99

Betriebsinformatik im Personalbereich

$59.99

Gauge Theories of the Strong and Electroweak Interaction

$139.99

Conservative Intellectuals and Richard Nixon

$54.99

Robert Browning

$109.99

A History of the Solar System

$29.99

Michel Foucault and the Games of Truth

$59.99

Understanding Psychological Testing in Children

$109.99

Value Distribution Theory for Meromorphic Maps

$54.99

Bankpolitik

$59.99

Coding and Modulation for Digital Television

$84.99

Missing Data

$16.00

Strmungsmechanik

$59.99

Aufwachsen zwischen Traditions- und Zukunftsorientierung

$59.99

Key Physical Layer Technologies

$79.99

Irreversible Aspects of Continuum Mechanics and Transfer of Physical Characteristics in Moving Fluid

$84.99

PARLE 92. Parallel Architectures and Languages Europe

$39.99

Novel Developments in Futuristic AI-based Technologies

$199.99

Corona: Todesangst und Hilfsbereitschaft

$74.99

Cross-Cultural Comparisons on Surrogacy and Egg Donation

$159.99

Unmanned Aircraft Design

$32.99

Integrativ-Prozessuales Marketing

$44.99