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

 -  2018 
 - 1 archivo (71,1 KB) 
<br/><br/> Carrera: Lic. en Informática Plan 2003-07, 2012, 2015 -- Año: 4° -- Duración: semestral. 
<br/><br/><label>Standard No.: </label>DIF-M7471 
<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