Safety of Computer Architectures / Boulanger, Jean-Louis  

Público ISBD Ningún comentario para este título. Título : Safety of Computer Architectures Tipo de documento: documento electrónico Autores: Boulanger, Jean-Louis Editorial: Wiley Fecha de publicación: 2013 Otro editor: Hoboken, N.J. [USA] : Wiley Número de páginas: xv, 488 p. : Il.: ill. ISBN/ISSN/DL: 9781118600610 Idioma : Inglés (eng) Idioma original : Francés (fre) Palabras clave:   Computer architecture.  Computer systems  Reliability.  Computer security.  Avionics  Safety measures. Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/178716 Safety of Computer Architectures [documento electrónico] / Boulanger, Jean-Louis . - Wiley : Hoboken, N.J. [USA] : Wiley, 2013 . - xv, 488 p. : : ill. ISBN : 9781118600610 Idioma : Inglés (eng) Idioma original : Francés (fre) Palabras clave:   Computer architecture.  Computer systems  Reliability.  Computer security.  Avionics  Safety measures. Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/178716

Static Analysis of Software / Boulanger, Jean-Louis  

Público ISBD Ningún comentario para este título. 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

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200