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

Máster. Curso 2021/2022.

MODELOS DE LA CONCURRENCIA - 609026

Curso Académico 2021-22

Datos Generales

SINOPSIS

COMPETENCIAS

ACTIVIDADES DOCENTES

Otra información relevante

La ficha detallada se puede consultar en la sección de información docente de la Web de Facultad de Informática.

https://informatica.ucm.es/informacion-docente

Estructura

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

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A20/09/2021 - 17/12/2021LUNES 15:00 - 16:30Aula 16CARLOS GREGORIO RODRIGUEZ
DAVID DE FRUTOS ESCRIG
FERNANDO ROSA VELARDO
VIERNES 15:00 - 17:00Aula 16CARLOS GREGORIO RODRIGUEZ
DAVID DE FRUTOS ESCRIG
FERNANDO ROSA VELARDO