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

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

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

Single Product Purchase

$54.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
$59.99 $59.99

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

Similar Products

Colloid Chemistry II

$169.00

An Introduction to Trenchless Technology

$109.99

Schulsozialarbeit am bergang Schule - Beruf

$59.99

The Geneva Conference of 1954 on Indochina

$54.99

The Driving Forces of Change in Environmental Indicators

$54.99

The Bone Book

$84.99

Surveys of the Southern Galaxy

$54.99

The Turing Test

$169.99

Bo's Magical New Friend: A Branches Book (Unicorn Diaries #1)

$3.74

Recovery and Major Mental Disorders

$169.99

Ethics and Civil Drones

$24.99

The Unconscious and Eduard von Hartmann

$54.99

Architectural Transformations in Network Services and Distributed Systems

$64.99

Ein Verfahren zur Lsung des CAUCHY-Problems fr lineare Systeme von partiellen Differentialgleichun

$59.99

Aging Across Cultures

$159.99

Cardiovascular Pediatric Critical Illness and Injury

$39.99

Netherlands Yearbook of International Law 2012

$84.99

Musikcastingshows

$64.99

The Westing Game

$6.71

Sminaire de Probabilits XLV

$54.99

Mathematisches Vorsemester

$69.99

AutoCAD 12 fr Windows

$59.99

Language, Immigration and Labor

$84.99

Sensors Based on Nanostructured Materials

$84.99

Algebraic K-Theory

$79.99

The Cognitive Foundations of Personality Traits

$169.99

Internationalism in Children's Series

$54.99

Justice in the Age of Agnosis

$139.99

Digital Transformation in Education and Artificial Intelligence Application

$69.99

OCT and Imaging in Central Nervous System Diseases

$169.99

Die Wirkung von Glaubwrdigkeit in der Marketingkommunikation

$49.99

Spherical Radial Basis Functions, Theory and Applications

$54.99

Hardware and Software: Verification and Testing

$39.99

Pro Novell Open Enterprise Server

$54.99

Education as Social Action

$109.99

Macroeconomic Perspectives on the Danish Economy

$74.99

AR and VR Using the WebXR API

$39.99

Dostoevsky's Greatest Characters

$54.99

Nietzsche and Modern Literature

$109.99

Energy Risk Modeling

$129.00