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

Bill Ricker: An Appreciation

$109.99

Residue Reviews

$39.99

Der Fragebogen

$9.99

Reliable Face Recognition Methods

$109.99

Marktgerechte Erbbaurechte

$69.99

Ergebnisse der Inneren Medizin und Kinderheilkunde

$44.99

Untersuchung des Wissenserwerbs bei einem Unternehmensplanspiel mit Verfahren des Operations Researc

$59.99

Critical Appraisal of Medical Literature

$169.99

Bedingungen gerechten Handelns

$59.99

Recent Advances in 3D Geoinformation Science

$249.99

Afrika Jahrbuch 2002

$59.99

Gamma Knife Neurosurgery

$109.99

Ethical Universals in International Business

$129.00

Computer-Aided Innovation (CAI)

$109.99

Riechstoffe, zwischen Gestank und Duft

$34.99

Surveying for Civil and Mine Engineers

$84.99

Systems Modeling and Simulation

$39.99

Dual Markets

$169.99

Perspektiven transzendentalphnomenologischer Forschung

$109.99

Bericht zur Lage des Eigentums

$89.99

Power Electronic Converters

$84.99

Erstspracherwerb

$44.99

Edwardian England and the Idea of Racial Decline

$39.99

Die erfolgreiche Kanzlei

$49.99

Arachidonic Acid Metabolism and Tumor Promotion

$129.00

A Multi-Industrial Linkages Approach to Cluster Building in East Asia

$139.99

Plant Tissue Culture Manual

$109.99

Epidemiology of Human Congenital Malformations

$109.99

Anstze kunsttherapeutischer Forschung

$79.99

Flag State Responsibility

$169.99

Genetic Engineering

$84.99

The Geology of Iran: Tectonic, Magmatism and Metamorphism

$169.99

Lectures on Symplectic Geometry

$64.99

Solidarity and Reciprocity with Migrants in Asia

$49.99

Advances in Human Factors in Sports and Outdoor Recreation

$84.99

Steuerung des Markentransfererfolgs

$59.95

Risikokommunikation und Krisenkommunikation

$59.99

Negotiating the End of the British Empire in Africa, 1959-1964

$139.99

Tools and Problems in Partial Differential Equations

$69.99

Stem Cells in the Lung

$169.99