Metodos Formales en Ingeniería Informática de la UCM y la UPM/ Formal Methods in Computer Science
Máster. Curso 2025/2026.
Título conjunto
Interuniversitario de las universidades Complutense y Politécnica de Madrid
Universidad coordinadora
Universidad Complutense de Madrid
Universidades participantes
Universidad Complutense de Madrid,Universidad Politécnica de Madrid
Curso académico en el que se implantó
2025-26
Tipo de enseñanza
Presencial
Número de plazas de nuevo ingreso ofertadas
30 (15 en la UCM, 15 en la UPM)
Número mínimo de ECTS por matrícula y período lectivo
Estudiantes a Tiempo Completo
- Primer curso:
Nº Mínimo de ECTS: 36
Nº Máximo de ECTS: 60
Estudiantes a Tiempo Parcial
- Primer curso:
Nº Mínimo de ECTS: 18
Nº Máximo de ECTS: 35
Idiomas en los que se imparte
Inglés