Encabezado Facultad de Ciencias
Horarios 2013-1
Navegación: Ciencias » Horarios 2013-1 » Ciencias de la Computación » Seminario de Computación Teórica II.
Anterior: México: Nación Multicultural Siguiente: Seminario de Temas Selectos de Computación II

Ciencias de la Computación (plan 1994)

Seminario de Computación Teórica II, Optativas

 

Grupo 7033, 20 lugares. 7 alumnos.
Especificación formal y certificación de programas con COQ
Exámenes finales jueves 29 de noviembre 2012 y jueves 6 de diciembre 2012 de 10 a 12 en el Taller de Lenguajes de Programación.
Profesor Favio Ezequiel Miranda Perea lu mi vi 10 a 11 Taller de Lenguajes de Programación
Ayudante Araceli Liliana Reyes Cabello ma ju 10 a 11 Taller de Lenguajes de Programación
Ayud. Lab.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.