Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Paperback, 1st ed. 2017)

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Programming and Software Engineering, 10482
Release date:	October 2017
First published:	2017
Editors:	Deepak D'Souza • K. Narayan Kumar
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	482
Edition:	1st ed. 2017
ISBN-13:	978-3-319-68166-5
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Applications of computing > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > General
LSN:	3-319-68166-4
Barcode:	9783319681665

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!