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...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| 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: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Internet
Ver documento en línea| 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
|