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

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

$59.99
See Site In stock Visit Store

Similar Products

Leitfaden der Humangenetik

$84.99

Dissipative Structures in Transport Processes and Combustion

$39.99

Rock and Pop Venues

$89.00

Canonical Gibbs Measures

$29.99

Advances in Enterprise Engineering XVI

$59.99

The Fundamentals of Psychological Medicine

$39.99

Innovative Learning Environments in STEM Higher Education

$24.99

Computer Graphics and Geometric Modeling

$39.99

Contemporary Heritage Lexicon

$199.99

Transition and Change in Collectivist Family Life

$54.99

History of Geomorphology

$54.99

Computer Chemistry

$39.99

Middle Powers & Commercial Diplomacy

$109.99

Social Exclusion in Later Life

$59.99

Goffman-Handbuch

$99.99

Nonsmooth Mechanics and Analysis

$169.00

Bilevel Optimization

$169.99

New Governance in European Social Policy

$79.99

Fungal Resources for Sustainable Economy

$249.99

Modelling Protocells

$69.99

Models for Clinical Psychopathology

$109.99

Schein's Common Sense Emergency Abdominal Surgery

$54.99

Cinema after Fascism

$54.99

The Human Brain

$169.99

Model-Reference Robust Tuning of PID Controllers

$109.99

Die Universitt Heidelberg im Nationalsozialismus

$54.99

Benn-Handbuch

$119.99

Embracing Global Computing in Emerging Economies

$54.99

Informatics in Schools: Contributing to 21st Century Education

$54.99

Die praktische Werkstoffabnahme in der Metallindustrie

$59.99

Research in Attacks, Intrusions, and Defenses

$39.99

Molecular Targeting and Signal Transduction

$129.00

Lean Engineering for Global Development

$119.99

Variational Methods in Mathematics, Science and Engineering

$109.99

Medizin im Internet

$59.99

Theory of Reversible Computing

$149.00

Patente in der Praxis

$19.99

Mechanisms of Secondary Brain Damage in Cerebral Ischemia and Trauma

$39.99

Die Bedeutung sozialen Kapitals fr Migrationsprozesse

$49.99

Fundamentals of the Mechanics of Solids

$79.99