Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science
Máster. Curso 2025/2026.
PRÁCTICAS EN EMPRESAS O GRUPOS DE INVESTIGACIÓN - 610617
Curso Académico 2025-26
Datos Generales
- Plan de estudios: 069Q - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA/FORMAL M (2025-26)
- Carácter: OPTATIVA
- ECTS: 6.0
Estructura
| Módulos | Materias |
|---|---|
| No existen datos de módulos o materias para esta asignatura. | |
Grupos
| Clases teóricas y prácticas | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Grupo A (primer cuatrimestre) | - | - | - | ALBERTO RUBIO GIMENO |
| Grupo B (segundo cuatrimestre) | - | - | - | |
| Tutorías | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Tutorías SIC | - | - | - | |