Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
Buchkauf
Static analysis, Sandrine Blazy
- Sprache
- Erscheinungsdatum
- 2015
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Static analysis
- Sprache
- Englisch
- Autor*innen
- Sandrine Blazy
- Verlag
- Springer
- Erscheinungsdatum
- 2015
- ISBN10
- 3662482878
- ISBN13
- 9783662482872
- Kategorie
- Informatik & Programmierung
- Beschreibung
- This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area