Obálka
QR kód

Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /

Selección de ponencias presentadas en el vigésimo primer Simposio Internacional sobre Análisis Estático, celebrado en Munich, Alemania, en septiembre de 2014. Los artículos desarrollan temas relacionados con el análisis estático, entre los que se incluyen, la interpretación abstracta, las pruebas ab...

Celý popis

Uloženo v:
Korporativní autor: International Symposium on Static Analysis( Munich, Alemania)
Další autoři: Müller-Olm, Markus (edición) (edición), Seidl, Helmut (edición) (edición)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Cham, Suiza : Springer, 2014, c2014
Edice:(Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science) 8723.
Témata:
Compiladores (Software)
Intérpretes (Software)
Seguridad Informática
Proceso de Datos
Arquitectura de Software - > Prueba y Medición
Paquetes (Software) - > Prueba y Medición - > Tema Principal
Programación (Software) - > Tema Principal
Ingeniería de Software - > Tema Principal
Desarrollo de Sistemas - > Congresos - > Tema Principal
Sistemas Computacionales - > Prueba y Medición
Sistemas Computacionales
Ingeniería Computacional
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Shrnutí:Selección de ponencias presentadas en el vigésimo primer Simposio Internacional sobre Análisis Estático, celebrado en Munich, Alemania, en septiembre de 2014. Los artículos desarrollan temas relacionados con el análisis estático, entre los que se incluyen, la interpretación abstracta, las pruebas abstractas, la detección de errores, el análisis del flujo de datos, la verificación de modelos, la transformación de programas, la verificación de programas, el análisis de seguridad y la verificación de tipos.
Fyzický popis:1 libro electrónico en línea (XVIII, 337 p.)
1 recurso en línea
ISBN:978-3-319-10936-7
Přístup:Licencias ilimitadas

Podobné jednotky