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 75.95
Auf Lager
SKU
L67L0ICJCF9
1 Verfügbar 
Geliefert zwischen Mi., 26.11.2025 und Do., 27.11.2025
Details
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
State of the art research Up to date results Fast track conference proceedings
Inhalt
Static analysis.- Including abstract domains.- Abstract interpretation.- Abstract testing.- Data flow analysis.- Bug detection.- Program transformation.- Program verification.- Security analysis and type checking.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783642331244
- Editor David Schmidt, Antoine Mine
- Sprache Englisch
- Auflage 2012
- Größe H235mm x B155mm x T26mm
- Jahr 2012
- EAN 9783642331244
- Format Kartonierter Einband
- ISBN 3642331246
- Veröffentlichung 03.08.2012
- Titel Static Analysis
- Untertitel 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
- Gewicht 709g
- Herausgeber Springer Berlin Heidelberg
- Anzahl Seiten 472
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
