Información de la indexación
Documentos en la biblioteca con la clasificación 005.1/4 (2)



TÃtulo : Software Error Detection through Testing and Analysis Tipo de documento: documento electrónico Autores: Huang, J. C. (1935-) Editorial: Wiley Fecha de publicación: 2009 Número de páginas: x, 259 p. : Il.: ill. Palabras clave: Computer software Testing. Computer software Reliability. Debugging in computer science. Clasificación: 005.1/4 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/178980 Software Error Detection through Testing and Analysis [documento electrónico] / Huang, J. C. (1935-) . - Wiley, 2009 . - x, 259 p. : : ill.
Palabras clave: Computer software Testing. Computer software Reliability. Debugging in computer science. Clasificación: 005.1/4 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/178980
TÃtulo : Static Analysis of Software : The Abstract Interpretation Tipo de documento: documento electrónico Autores: Boulanger, Jean-Louis Editorial: Wiley Fecha de publicación: 2013 Número de páginas: xiv, 331 p. : Il.: ill. ISBN/ISSN/DL: 9781118602843 Palabras clave: Computer software Testing. Debugging in computer science. Computer software Quality control. Clasificación: 005.1/4 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/178712 Static Analysis of Software : The Abstract Interpretation [documento electrónico] / Boulanger, Jean-Louis . - Wiley, 2013 . - xiv, 331 p. : : ill.
ISBN : 9781118602843
Palabras clave: Computer software Testing. Debugging in computer science. Computer software Quality control. Clasificación: 005.1/4 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/178712