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
9783031453328
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

Biological and Bio-Inspired Fluid Dynamics

$109.99

Elementary Statistical Methods

$54.99

Die Ironie Gottes

$39.99

Work at the Boundaries of Science

$109.99

Digital Government

$69.99

Cardiovascular Magnetic Resonance

$39.99

Picturepedia, Second Edition- An Encyclopedia on Every Page by Dk

$29.99

Modelling Aqueous Corrosion

$259.00

Rotifers

$179.99

Information Technology for Business

$129.99

Nodes in Transport Networks Research, Data Analysis and Modelling

$109.99

Bestimmungsschlssel zur Flora der Schweiz

$54.99

Reflective Practice in ESL Teacher Development Groups

$39.99

Computer and Information Sciences

$169.00

Archetypical Roles in Startups

$84.99

Deutschland 4.0

$34.99

Artificial Intelligence Applications and Innovations

$84.99

Progress in Liver Transplantation

$39.99

Technology, Sustainability and Educational Innovation (TSIE)

$219.99

Inherited Metabolic Diseases and the Brain

$54.99

The Navajo Sound System

$109.99

Dancing Genius

$109.99

Highs and Lows of European Integration

$139.99

An APL Compiler

$109.99

The Phylogenetic Classification of Diptera Cyclorrhapha

$54.99

High Temperature Gas Dynamics

$109.00

Bewertung von Kundenbindungsstrategien in B-to-B-Mrkten

$79.99

Landkarten ihre Herstellung und ihre Fehlergrenzen

$39.99

Biodiversity of the Himalaya: Jammu and Kashmir State

$329.99

A Relational Approach to Educational Inequality

$54.99

Contaminated Sediments

$39.99

The Year of Billy Miller by Kevin Henkes

$17.99

Der Nerventurm

$39.99

Leitfaden Arithmetik

$34.99

Cyber Resilience of Systems and Networks

$199.99

When Harriet Met Sojourner

$5.96

Kunstwerke chemisch betrachtet

$69.99

Robustness in Automatic Speech Recognition

$219.99

Politik aus christlicher Verantwortung

$49.99

Wave Packets and Their Bifurcations in Geophysical Fluid Dynamics

$109.99