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

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

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

The Riemann Hypothesis

$199.99

Flow and Creep in the Solar System: Observations, Modeling and Theory

$329.99

Spatio-Temporal Databases

$54.99

Introduction to Quantum Computing with Q# and QDK

$64.99

Lectures on Soft Computing and Fuzzy Logic

$39.99

Schopenhauer und die Deutung der Existenz

$84.99

Bringing Ecologists and Economists Together

$169.99

Biologische Psychologie

$19.99

Animals and the Economy

$109.99

Social Work for Poverty Alleviation

$119.99

Steuerung von Management Buy-Out-Minderheitsbeteiligungen

$49.99

Gefchirurgie kontrovers

$79.99

Boys, Young Men and Violence

$54.99

Gewissen und Gewissensbildung in der Psychotherapie

$39.99

Insolvenzplanverfahren

$59.99

Breeding Legumes for Enhanced Symbiotic Nitrogen Fixation

$54.99

Institutional Design

$129.00

Fundamental Principles for the Illumination of a Picture Gallery

$54.99

The Circulation of Anti-Austerity Protest

$109.99

Engineering Applications of Neural Networks

$54.99

Rookie Toddler-My Body: Brush, Brush, Brush!

$5.21

Partial Differential Equations of Classical Structural Members

$54.99

Neuroanatomical Tract-Tracing Methods

$84.99

World Terraced Landscapes: History, Environment, Quality of Life

$149.00

Public-Key Cryptography PKC 2017

$54.99

The Context of Medicines in Developing Countries

$249.99

Postmodernes Charisma

$59.99

Analog Circuit Design

$129.00

Verbraucherspezifische Promotionwirkungen

$69.99

Marken-Authentizitt

$49.99

Creative Cross-Disciplinary Entrepreneurship

$109.99

Gerontechnology. A Clinical Perspective

$119.00

Chancen sozialorientierter Technikgestaltung

$59.99

Quasiclassical Methods

$84.99

New Trends in Approximation Theory

$89.00

Vertrauen in Public Relations

$37.99

An Introduction to Bayesian Scientific Computing

$39.99

Tips and Tricks in Laparoscopic Urology

$84.99

Schriften 1934 - 1942

$119.99

Auslegung von Konstruktionselementen

$99.00