Encabezado Facultad de Ciencias
Horarios 2014-2
Navegación: Ciencias » Horarios 2014-2 » Ciencias de la Computación » Semántica y Verificación.
Anterior: Robótica Siguiente: Seminario de Ciencias de la Computación B

Ciencias de la Computación (plan 2013)

Semántica y Verificación, Optativas

 

Grupo 7016, 30 lugares. 5 alumnos.
Exámenes finales lunes 26 de mayo 2014 y lunes 2 de junio 2014 de 13 a 15 en el Taller de Sistemas Operativos, Redes de Cómputo, Sistemas Distribuidos y Manejo de Información.
Profesor Favio Ezequiel Miranda Perea lu mi 13 a 14:30 Salón 301 del IIMAS
Ayudante Francisco Javier Enríquez Lavida ma ju 13 a 14 Taller de Sistemas Operativos, Redes de Cómputo, Sistemas Distribuidos y Manejo de Informació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.