Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Automated Technology for Verification and Analysis

Best Price:
Buy Automated Technology for Verification and Analysis for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

$39.99
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Kipling

Kipling

$44.99
Civic Engagement Pedagogy in the Community College: Theory and Practice

Civic Engagement Pedagogy in the Community College: Theory and Practice

$109.99
Summer Program Collection Grade 2

Summer Program Collection Grade 2

$326.00
Governance and Institution in the Indian Forest Sector

Governance and Institution in the Indian Forest Sector

$159.99
Combinatorial Optimization

Combinatorial Optimization

$34.99
Palgrave Advances in Intellectual History

Palgrave Advances in Intellectual History

$109.99
Einmaleins des betrieblichen Gesundheitsmanagements

Einmaleins des betrieblichen Gesundheitsmanagements

$17.99
Macro-Economic Planning with Conflicting Goals

Macro-Economic Planning with Conflicting Goals

$54.99
Legal Study on Chinas Sovereignty over the Nansha Islands

Legal Study on Chinas Sovereignty over the Nansha Islands

$139.99
Neuroscience and Art

Neuroscience and Art

$119.00
Mixed Methods in Comparative Politics

Mixed Methods in Comparative Politics

$39.99
Nonlinear Spectroscopy of Solids

Nonlinear Spectroscopy of Solids

$219.99
Computer Aided Design Modelling, Systems Engineering, CAD-Systems

Computer Aided Design Modelling, Systems Engineering, CAD-Systems

$29.99
Inventory Management with Alternative Delivery Times

Inventory Management with Alternative Delivery Times

$54.99
Magneto-Resistance for Crystals of Gallium

Magneto-Resistance for Crystals of Gallium

$54.99
Players in the Public Policy Process

Players in the Public Policy Process

$54.99
The Palgrave Handbook of International Energy Economics

The Palgrave Handbook of International Energy Economics

$59.99
Application of the Political Economy to Rural Health Disparities

Application of the Political Economy to Rural Health Disparities

$39.99
13 Artists Children Should Know (Hardcover)

13 Artists Children Should Know (Hardcover)

$14.36
Kalman Filtering

Kalman Filtering

$39.99
Computer Performance Engineering

Computer Performance Engineering

$39.99
Judentum und Kommunismus

Judentum und Kommunismus

$59.99
Der deutsche Bund oder: Ob Gotha, ob Bamberg?

Der deutsche Bund oder: Ob Gotha, ob Bamberg?

$59.99
Glycosylation Engineering of Biopharmaceuticals

Glycosylation Engineering of Biopharmaceuticals

$99.00
Peppa Pig: Peppa's Rainbow

Peppa Pig: Peppa's Rainbow

$3.74

"Aus mtterlicher Wohlmeinung"

$39.99
Being Apart from Reasons

Being Apart from Reasons

$84.99
Sport and Leisure in the Civilizing Process

Sport and Leisure in the Civilizing Process

$109.99
Body Sensor Networks

Body Sensor Networks

$89.00
Physiology, Pharmacology and Development of Epileptogenic Phenomena

Physiology, Pharmacology and Development of Epileptogenic Phenomena

$54.99
Kac-Moody Groups, their Flag Varieties and Representation Theory

Kac-Moody Groups, their Flag Varieties and Representation Theory

$99.00
Ash and Pikachu's Adventures (Pokmon)

Ash and Pikachu's Adventures (Pokmon)

$7.49
Fhren und Coachen

Fhren und Coachen

$44.99
Retail Food Safety

Retail Food Safety

$54.99
Brand Orientation in der Ernhrungsindustrie

Brand Orientation in der Ernhrungsindustrie

$64.99
Gamification of Life and the Gaming Society

Gamification of Life and the Gaming Society

$44.99
Bioinspired Smell and Taste Sensors

Bioinspired Smell and Taste Sensors

$169.99
New Tendencies in Mexican Art

New Tendencies in Mexican Art

$39.99
Generalized Inverses: Theory and Computations

Generalized Inverses: Theory and Computations

$129.99
Cell Function and Disease

Cell Function and Disease

$39.99
previous
next