Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science

Máster. Curso 2025/2026.

MODELOS DE LA CONCURRENCIA - 610614

Curso Académico 2025-26

Datos Generales

Estructura

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

Grupos

Clases teóricas y prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A13/10/2025 - 19/12/2025LUNES 14:00 - 16:15Aula 1208
MARTES 18:00 - 20:00Aula 1208