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:
| ISBN: | 9783319681665 |
| Publication date: | 4th October 2017 |
| Author: | Deepak DSouza |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 482 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Computer networking and communications Computer science Compilers and interpreters Automatic control engineering |
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.
Automated Technology for Verification and Analysis features in the following genres: Software Engineering, Computer networking and communications, Computer science, Compilers and interpreters, Automatic control engineering
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Automated Technology for Verification and Analysis was written by Deepak DSouza and published by Springer International Publishing AG
Automated Technology for Verification and Analysis has 482 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.