Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science

• Programme
  Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science
• Qualification/award
  • Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science
• Level
  second cycle (NQF level 7)
• Programme type
  Full recognised degree programme

• DEQAR Report ID
  103188
• Agency
  Fundación para el Conocimiento Madrimasd (madri+d)
• Type
  Accreditation of official degree programmes
• Status
  part of obligatory EQA system
• Formal decision
  positive
• Date
  05/06/2024
• Valid until
  05/06/2028
• Report and decision
  • informe definitivo 57910.pdf (Spanish/Castilian)
• Permalink
  https://data.deqar.eu/report/103188/
• Agency's identifier
  57910
• External link
  View record on agency’s website
• Verifiable Credential
  • DEQAR format
• Education provider
  • Faculty of Computer Sciences