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

Vivid Logic

$39.99

White Feminists and Contemporary Maternity

$54.99

CRISPR

$59.99

Cleavage, Connection and Conflict in Rural, Urban and Contemporary Asia

$109.99

Nanoelectronic Circuit Design

$169.99

Humanized Mice for HIV Research

$169.99

Rule-Based Programming

$129.00

Annual Report on Chinas Response to Climate Change (2017)

$39.99

Green Chemical Analysis and Sample Preparations

$189.00

Integration of Renewable Generation and Elastic Loads into Distribution Grids

$54.99

Die Pneumocystis carinii Pneumonie ein berblick

$69.99

Exercises in Abelian Group Theory

$54.99

Laboratory Manual for Electronics via Waveform Analysis

$54.99

Killing Spanish

$54.99

Gaswerke und Elektrizittsangelegenheiten

$59.99

What If You Had Animal.: Y si tuvieras nariz de animal?

$3.74

Population Aging and Age-Friendly Transport in China

$109.00

Die Chemie der Lederfabrikation

$59.99

Finite Sections of Some Classical Inequalities

$54.99

The Impact of HST on European Astronomy

$219.99

Reinforced Ceramic Composites

$219.99

New Zealand, Britain, and European Integration Since 1960

$89.00

Beginning ASP.NET MVC 4

$39.99

Big Science Transformed

$84.99

Lehrbuch der inneren Medizin in vier Teilen

$59.99

Perception of Self in Emotional Disorder and Psychotherapy

$39.99

Product Lifecycle Management. Leveraging Digital Twins, Circular Economy, and Knowledge Management f

$84.99

International Labor Mobility to and from Taiwan

$59.99

World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany

$329.99

Mites

$169.99

A History of Religion East and West

$39.99

Strategic Organizational Learning

$69.99

Nanopharmaceuticals: Principles and Applications Vol. 1

$199.99

Sustainable Automotive Energy System in China

$129.00

New Trends in Image Analysis and Processing ICIAP 2017

$54.99

Bacterial Regulatory RNA

$109.99

Dynamic Systems for Everyone

$39.99

Rotary Ultrasonic Machining

$59.99

Interkulturelle Trainings - Eine exemplarische Konzeptentwicklung fr die neue Pflegeausbildung

$54.99

Buildings

$39.99