Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Ciencias Geológicas
Desplegar navegación
Facultad
Localización
Gobierno
Organización
Memorias de actividad
+
Estudiantes
Secretaría
Horarios y Calendarios
Prácticas Profesionales
Movilidad
+
Docencia
Grado
Máster
Doctorado
Innovación Docente
+
Investigación
Grupos de Investigación
OAI Geológicas
CAIS
+
Calidad
Quejas y sugerencias
Encuestas de satisfacción e inserción laboral
Personal Facultad
+
Servicios y Recursos
Biblioteca
Libros de la Facultad
Campus Virtual
Sede Electrónica
+
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