Universidad Complutense de MadridMáster Oficial en Métodos Formales en Ingeniería Informática1. 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é...... MadridConsultar90 ECTSConsultar
Universidad Politécnica de MadridMáster en Métodos Formales en Ingeniería InformáticaEl uso de métodos formales se ha incrementado notablemente en los últimos años, de la mano de la creciente complejidad de los ...... MadridConsultar60 ECTSConsultar
