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...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International Symposium on Static Analysis( Munich, Alemania)
Altres autors:	Müller-Olm, Markus (edición) (edición), Seidl, Helmut (edición) (edición)
Format:	Actes de congresos Llibre
Idioma:	anglès
Publicat:	Cham, Suiza : Springer, 2014, c2014
Col·lecció:	(Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science) 8723.
Matèries:	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
Accés en línia:	Ver documento en línea
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!