Teoría de la Computación y Verificación de Programas

Título:

Teoría de la Computación y Verificación de Programas

Profesor/a:

Rosenfeld, Ricardo Fabián

Equipo docente:

; 

Temas:

VERIFICACIÓN DE PROGRAMAS; CORRECCIÓN DE PROGRAMAS; FIABILIDAD DEL SOFTWARE; 

Medio:

Soporte electrónico

Tipo de documento:

Programa de estudio

Extensión:

1 archivo (56,8 KB)

Idioma:

Español

Año:

2010

Nota general:

Carrera: Licenciatura en Informática Plan 2003-07 -- Duración: semestral -- Carácter: optativa

Puede solicitar más fácilmente el ejemplar con: P07F04_10E

Ver estantes