Encabezado Facultad de Ciencias
Horarios 2020-2
Navegación: Ciencias » Horarios 2020-2 » Ciencias de la Computación » Semántica y Verificación.
Anterior: Programación Funcional y Lógica Siguiente: Teoría de Códigos

Ciencias de la Computación (plan 1994)

Semántica y Verificación, Optativas

 

Grupo 7015, 30 lugares. 4 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi 17 a 18:30 Taller de Lenguajes de Programación
Ayudante Javier Enríquez Mendoza ma ju 16 a 17 Taller de Lenguajes de Programación
Ayud. Lab. ma 14 a 16 Taller de Lenguajes de Programación

 


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.