TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Libros
Advanced transaction models and architectures Sin autor (c1997)
Domicilio

----------
coverllll
Libros
Handbook of software reliability engineering Sin autor 1st ed.   (c1996)
Domicilio

----------
coverllll
Tesis
SEDAR: detección y recuperación automática de fallos transitorios en sistemas de cómputo de altas prestaciones Montezanti, Diego Miguel (2020)
----------
Sin Portada
Artículo
SMCV : a methodology for detecting transient faults in multicore clusters Montezanti, Diego Miguel (2012)
----------
coverllll
Libros
Software reliability: principles and practice Myers, Glenford J. (c1976)
Domicilio

----------
Sin Portada
Programa de estudio
Teoría de la Computación y Verificación de Programas Rosenfeld, Ricardo Fabián (2010)
----------
Sin Portada
Libros
Teoría de la computación y verificación de programas: Rosenfeld, Ricardo Fabián 1a ed.   (2010)
Domicilio

Sala

Sin Portada
Libros
Verification and validation of real-time software Sin autor (c1985)
Domicilio

----------