Presencial
Máster en Métodos Formales en Ingeniería Informática: Universidad Complutense de Madrid (UCM)
Máster interuniversitario UCM y UPM en métodos formales: 60 ECTS presenciales íntegramente en inglés, 15 plazas UCM en 2026/2027 y TFM de…
Ver máster