Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods In Computer Science
Universidad Complutense de Madrid
- Centros
Facultad de Informática (Madrid)
Facultad de Informática (Madrid)
Escuela Politécnica Superior (Madrid)
- Rama de conocimiento
Ingeniería y Arquitectura
- Créditos ECTS:
- 60.00
- Tipo de créditos:
- Obligatorios: 18.00
- Optativos: 30.00
- Trabajo fin de Máster: 12.00