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
Qué tengo que hacer
Plazos
