Buscar en la web
Desplegar navegación
Navegar identificado
PsiCallUCM
Clínicas y hospitales
Desplegar navegación
¿Quiénes somos?
Cuenta con nosotros
Protegemos tus datos
información ampliada talleres
información ampliada actividad asistencial
información adicional Diploma PsiCall
+
Actividades
Talleres
Diploma
Fórmate con nosotras
+
Portada
»
Estudios
»
Máster
»
Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science
Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science
Máster. Curso 2025/2026.
Centro responsable
:
Facultad de Informática
.
Coordinación
:
Albert Rubio Gimeno
.
Acceso y admisión
Créditos y Plazas
Detalles de la titulación
Web del Máster
Enlace externo
Pendiente de autorización de implantación de la Comunidad de Madrid
Díptico de la titulación
Leaflet in English
Características
Competencias y objetivos
Estructura del plan
