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

Máster. Curso 2024/2025.

PROGRAMACIÓN DECLARATIVA - 609172

Curso Académico 2024-25

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 DG09/09/2024 - 13/12/2024LUNES 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
MARTES 12:30 - 14:30E-1008FRANCISCO JAVIER LOPEZ FRAGUAS