Métodos Formales en Ingeniería Informática (Con UAM y UPM)

Máster. Curso 2018/2019.

PROGRAMACIÓN DECLARATIVA - 609172

Curso Académico 2018-19

Datos Generales

Estructura

MódulosMaterias
No existen datos de módulos o materias para esta asignatura.

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A (itinerario Ciencias de la Computación)12/09/2018 - 20/12/2018JUEVES 11:00 - 13:00Aula 13SUSANA NIEVA SOTO
VIERNES 11:00 - 13:00Aula 13SUSANA NIEVA SOTO


Laboratorio
GrupoPeriodosHorariosAulaProfesor
Subgrupo A1 - - -SUSANA NIEVA SOTO
Subgrupo A2 - - -ALBERTO DE LA ENCINA VARA