Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Static Analysis
CHF 82.35
Auf Lager
SKU
QUUMPEPMAJA
1 Verfügbar 
Geliefert zwischen Di., 03.03.2026 und Mi., 04.03.2026
Details
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.
Includes supplementary material: sn.pub/extras
Inhalt
Theoretical, practical, and applicational advances in area of static analysis.- Program verification.- Bug detection.- Compiler organization.- Program understanding.- Software maintenance.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319667058
- Genre Information Technology
- Auflage 1st ed. 2017
- Editor Francesco Ranzato
- Lesemotiv Verstehen
- Anzahl Seiten 473
- Größe H24mm x B156mm x T239mm
- Jahr 2017
- EAN 9783319667058
- Format Kartonierter Einband
- ISBN 978-3-319-66705-8
- Titel Static Analysis
- Untertitel 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
- Gewicht 733g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
