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

Our Hopes, Our Future

$32.99

Food and Identity in Nineteenth and Twentieth Century Ghana

$129.99

Crony Capitalism in India

$84.99

Inhalt und Mass

$69.95

Optimiert Weihnachten

$19.99

Burnout als Chance

$24.99

Proceedings of the International Conference on Information Technology & Systems (ICITS 2018)

$259.00

Radiological Protection

$549.99

Disorder-Free Localization

$109.99

Psychosomatische Gynkologie und Geburtshilfe 1992/93

$69.99

The Liberal Heart of Europe

$119.99

Emerging Markets

$109.99

Differenzierte Therapie mit trizyklischen Antidepressiva

$69.99

Somatic Cell Nuclear Transfer

$84.99

Taschenatlas Notfall & Rettungsmedizin

$34.99

Film Professionals in Nazi-Occupied Europe

$119.00

Theoretical Computer Science

$54.99

Social Issues in China

$54.99

History of Semiconductor Engineering

$199.99

Cultivation and Drought Management in Agriculture

$169.99

Mathematics - Key Technology for the Future

$39.99

Marijuana and the Cannabinoids

$129.00

Ostindisches Handwerk und Gewerbe mit Rcksicht auf den europischen Arbeitsmarkt

$59.99

Advances in Computer Science, Environment, Ecoinformatics, and Education, Part III

$109.99

Mikrokonomik im Bachelor-Studium

$19.99

Lectures on Probability Theory and Statistics

$54.99

Computational Logistics

$84.99

Informed Watermarking

$84.99

Functional and Constraint Logic Programming

$54.99

Internet of Things from Hype to Reality

$89.99

Stochastic Differential Systems

$39.99

Shaping for Cleaning the Root Canals

$119.99

Nineteenth-Century Individualism and the Market Economy

$129.99

War der Wissenschaftliche Kommunismus eine Wissenschaft?

$59.99

Zwischenmenschliche Konflikte als Ansto von Wandel in Organisationen

$69.99

Wherever You Go by Pat Zietlow Miller

$7.99

Social Movements and Democracy in the 21st Century

$99.99

The University in the Age of Globalization

$39.99

Philanthropic Foundations, Public Good and Public Policy

$109.99

Origin of Life

$169.99