Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Medicina
Desplegar navegación
Facultad
Estudiar
Grado
Máster
Doctorado
+
Docencia
Nutrición
Terapia Ocupacional
Medicina
+
Alumnos
Secretaría de Estudiantes
Oficina de inclusión y Unidad de Apoyo a la Diversidad
+
Movilidad
Investigación
Tesis
Actividades doctorandos
Subcomisión de becas y contratos
+
Servicios
Conserjeria
Alquiler de espacios
Biblioteca
Campus Virtual
Sede Electrónica
+
S.G.Calidad
Reclamaciones y solicitudes
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
