This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance.
| ISBN: | 9783319667058 |
| Publication date: | 21st August 2017 |
| Author: | Francesco Ranzato |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 473 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software testing and verification |
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions.
Static Analysis features in the following genres: Software testing and verification
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Static Analysis was written by Francesco Ranzato and published by Springer International Publishing AG
Static Analysis has 473 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.