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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham, Suiza :
Springer,
2014, c2014
|
| Schriftenreihe: | (Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science)
8723. |
| Schlagworte: | |
| Online-Zugang: | Ver documento en línea |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000570707 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132233.622 | ||
| 020 | |a 978-3-319-10936-7 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Static Analysis( |n 21° : |d 2014 : |c Munich, Alemania) | ||
| 245 | 1 | 0 | |a Static Analysis : |b 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings / |c Ed. de M. Müller-Olm, H. Seidl. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XVIII, 337 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8723. |p Advanced Research in Computing and Software Science) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a 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. | ||
| 649 | |a XX | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Intérpretes (Software) | ||
| 650 | |a Seguridad Informática | ||
| 650 | |a Proceso de Datos | ||
| 650 | |a Arquitectura de Software - |x Prueba y Medición | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición - |x Tema Principal | ||
| 650 | |a Programación (Software) - |x Tema Principal | ||
| 650 | |a Ingeniería de Software - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales - |x Prueba y Medición | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Müller-Olm, Markus |e (edición) | ||
| 700 | |a Seidl, Helmut |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10936-7 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 570707-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000570707 | ||