Del 10998
Dependable Software Engineering. Theories, Tools, and Applications
Xinyu Feng, Markus Müller-Olm, Zijiang Yang, Markus Muller-Olm
Häftad
709 kr
Del 8723 - Lecture Notes in Computer Science
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Häftad, Engelska, 2014
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Produktinformation
- Utgivningsdatum2014-08-20
- Mått155 x 235 x 20 mm
- Vikt540 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor337
- FörlagSpringer International Publishing AG
- ISBN9783319109350