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

Faculty of Computer Sciences

madri+d: Programme accreditation

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

85229
Agency

Fundación para el Conocimiento Madrimasd (madri+d)
Type

Validation (ex-ante accreditation) of official degree programmes
Status

part of obligatory EQA system
Formal decision

positive
Date

06/06/2018
Valid until

06/06/2022
Report and decision
- 4316132 Informe de evaluación de verificación 2017.pdf (Spanish/Castilian)
Permalink

https://data.deqar.eu/report/85229/
Agency's identifier

41904
External link

View record on agency’s website
Verifiable Credential
- DEQAR format
Education provider
- Faculty of Computer Sciences