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

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Pattern Recognition and Computer Vision

$54.99

Genomics, Proteomics, and Clinical Bacteriology

$129.00

The Sky at Einstein's Feet

$24.99

Programmierungsmodelle fr die Produktionsprogrammplanung

$49.99

Powder Mixing

$279.99

Power and German Foreign Policy

$84.99

Interventionsgerontologie

$84.99

Shifting Economic, Financial and Banking Paradigm

$179.99

Applications and Techniques in Information Security

$54.99

Major Research Topics in Combustion

$84.99

Einfhrung in die Wahrscheinlichkeitsrechnung und Statistik fr Ingenieure

$49.99

Computer Vision and Image Processing

$84.99

Beautiful Stranger (Beautiful Series #2) by Christina Lauren

$18.99

Die unmittelbare Kranken-Untersuchung

$59.99

Iterative Learning Control for Electrical Stimulation and Stroke Rehabilitation

$54.99

Theory of Multicodimensional (n+1)-Webs

$39.99

John Clare and the Imagination of the Reader

$39.99

Challenging Global Development

$59.99

Computational Stem Cell Biology

$109.00

Das rmische Rheinland Archologische Forschungen seit 1945

$84.99

Computer Applications in Production Engineering

$329.99

Emotions in Technology Design: From Experience to Ethics

$119.00

Hacker Contest

$29.99

Raumbegriff und Raumordnung

$17.99

Metallfachkunde 3

$69.95

Grundlagen der Elektrotechnik III

$49.99

Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms

$74.99

Citizenship in an Enlarging Europe

$54.99

Integration in Asia and Europe

$84.99

Computer Models in Biomechanics

$169.99

Computational Engineering

$109.99

Schmerzlose Operationen

$69.99

Robotics Research

$169.00

I Felt a Funeral, In My Brain

$8.24

Ein dreidimensionales Bildverarbeitungssystem fr die Automatisierung visueller Prfvorgnge

$69.99

Die Konstruktionssthle und ihre Wrmebehandlung

$59.99

Conservation of Tropical Coral Reefs

$109.99

Manual on Experimental Methods for Mechanical Testing of Composites

$39.99

Distributed Parameter Systems

$39.99

Difficult Decisions in Surgical Ethics

$129.00