Universidad Complutense de Madrid
Máster Oficial en Métodos Formales en Ingeniería Informática
1. Fundamentos
2. Métodos
2.1 Análisis de corrección de sistemas
2.2 Diseño y construcción rigurosos de software
2.3 Técnic......
- Madrid
- Consultar
- 90 ECTS
- Consultar