Teoría de la Computación y Verificación de Programas - Rosenfeld, Ricardo Fabián (2014)
Carrera: Lic. en Informática Plan 2012 -- Año: 4º y 5º -- Duración: semestral.
Keywords: VERIFICACIÓN DE PROGRAMAS; TEORÍA DE LA COMPUTABILIDAD; TEORÍA DE LA COMPUTACIÓN; COMPLEJIDAD COMPUTACIONAL