Metodos Formales en Ingeniería Informática/Formal Methods in Computer Science (conjunto con UPM)
Máster. Curso 2026/2027.
TRABAJO FIN DE MÁSTER - 610618
Curso Académico 2026-27
Datos Generales
- Plan de estudios: 069Q - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA/FORMAL M (2025-26)
- Carácter: Trabajo fin de Máster
- ECTS: 12.0
Estructura
| Módulos | Materias |
|---|---|
| No existen datos de módulos o materias para esta asignatura. | |
Grupos
| Dirección de TFM | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Departamento SIC | - | - | - | ALBERTO RUBIO GIMENO |
| Departamento SIC | - | - | - | |
| Departamento SIC | - | - | - | |
| Departamento SIC | - | - | - | |
| Clases teóricas y prácticas | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Grupo A (convocatoria junio-septiembre) | - | - | - | |
| Grupo B (convocatoria enero-septiembre) | - | - | - | |