Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Psicología
Desplegar navegación
Facultad
Junta Electoral de Centro
Gobierno
Organización
Más...
+
Estudios
Grado
Máster
Doctorado
Más...
+
Estudiantes
Primeros pasos
Secretaria de alumnos
Movilidad
Orientación Universitaria
Practicum
Posgrado
+
Investigación
Advanced International Seminar on Social Psychology
Revistas de la Facultad
Experimenta & Experiméntalo
Deontología
Laboratorios
Unidad de instrumentación
Más...
+
Servicios
Biblioteca
Campus Virtual
Discapacidad
Más...
+
Servicios Externos
Clínica U. Psicología
U. Clínica Logopedia
U. Psicología Preventiva
Más...
+
Somos Facultad
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
Número de plazas ofertadas
15
Créditos ECTS
60
