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

Máster. Curso 2023/2024.

PROGRAMACIÓN DECLARATIVA - 609172

Curso Académico 2023-24

Datos Generales

SINOPSIS

COMPETENCIAS

ACTIVIDADES DOCENTES

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 (coincidente con grupo A de GII) - - -FRANCISCO JAVIER LOPEZ FRAGUAS
Grupo DG11/09/2023 - 21/12/2023LUNES 12:30 - 14:30Aula 1220FRANCISCO JAVIER LOPEZ FRAGUAS
LUNES 12:30 - 14:30E-1008FRANCISCO JAVIER LOPEZ FRAGUAS
MARTES 12:30 - 14:30Aula 1220FRANCISCO JAVIER LOPEZ FRAGUAS