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:
Podrobná bibliografie
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:
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!

Internet

Ver documento en línea
Informace o exemplářích z: IT2
Signatura:
Libro en línea
Ejemplar 570707-1
Disponible
Préstamo en línea
Sbírka:
Libros electrónicos en línea
Poznámky:
Consultar en línea