Rosenfeld, Ricardo Fabián <br/><br/>
Teoría de la Computación y Verificación de Programas 

 -  2019 
 - 1 archivo (163,2 KB) 
<br/><br/> Carrera: Lic. en Informática Plan 2003-07, 2012, 2015; Licenciatura en Sistemas Planes 2015, 2012, 2003-07 -- Año: 4° -- Duración: semestral -- Materia optativa para la Lic. en Sistemas. 
<br/><br/><label>Standard No.: </label>DIF-M7983 
<br/><br/><label>Subjects--Topical Terms: </label><br/>TEORÍA DE LA COMPUTACIÓN<br/>TEORÍA DE LA COMPUTABILIDAD<br/>COMPLEJIDAD COMPUTACIONAL<br/>CORRECCIÓN DE PROGRAMAS<br/>SEMÁNTICA DE LOS LENGUAJES DE PROGRAMACIÓN<br/>VERIFICACIÓN DE PROGRAMAS