Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Máster. Curso 2024/2025.
PROCESADORES DE LENGUAJES - 609171
Curso Académico 2024-25
Datos Generales
- Plan de estudios: 066C - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (2018-19)
- Carácter: COMPLEMENTO DE FORMACION
- ECTS: 6.0
SINOPSIS
COMPETENCIAS
ACTIVIDADES DOCENTES
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 (coincidente con grupo A de GII) | - | - | - | JOSE LUIS SIERRA RODRIGUEZ |
Grupo DG | 20/01/2025 - 09/05/2025 | MARTES 13:30 - 15:30 | Aula 1208 | ALBERTO RUBIO GIMENO |
VIERNES 11:30 - 13:30 | Aula 1208 | ALBERTO RUBIO GIMENO |