Metodos Formales en Ingeniería Informática de la UCM y la UPM/ Formal Methods in Computer Science
Master's Programme. Academic Year 2025/2026.
Joint Programme
Interuniversitario de las universidades Complutense y Politécnica de Madrid
Coordinating university
Universidad Complutense de Madrid
Participating universities
Universidad Complutense de Madrid,Universidad Politécnica de Madrid
Established academic year
2025-26
Type of course
Presencial
Number of available seats for incoming students
30 (15 en la UCM, 15 en la UPM)
Minimum number of enrollment credits required for a complete academic year
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
Languages in which clases are taught
Inglés