Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Máster. Curso 2023/2024.
TEORÍA DE LENGUAJES DE PROGRAMACIÓN - 609024
Curso Académico 2023-24
Datos Generales
- Plan de estudios: 066C - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (2018-19)
- Carácter: OBLIGATORIA
- ECTS: 6.0
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
https://informatica.ucm.es/informacion-docente
Estructura
| Módulos | Materias |
|---|---|
| No existen datos de módulos o materias para esta asignatura. | |
Grupos
| Clases teóricas y/o prácticas | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Grupo A | 18/09/2023 - 15/12/2023 | LUNES 18:00 - 20:00 | Aula 12 | IGNACIO FABREGAS ALFARO NARCISO MARTI OLIET |
| MARTES 18:30 - 20:00 | Aula 12 | IGNACIO FABREGAS ALFARO NARCISO MARTI OLIET | ||