Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proceedings 2017 Edition Contributor(s): D'Souza, Deepak (Editor), Narayan Kumar, K. (Editor) |
|
![]() |
ISBN: 3319681664 ISBN-13: 9783319681665 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: October 2017 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 005.1 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.01" H x 6.14" W x 9.21" (1.54 lbs) 482 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |