Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Informática
Desplegar navegación
Facultad
Presentación
Bienvenida a la FdI
Gobierno
Organización
Eventos
+
Titulaciones
Grado
Máster
Doctorado
Títulos propios
+
Estudiantes
Programacion docente
Prácticas Externas
Ofertas de Empleo
Secretaría de Estudiantes
Movilidad
+
Servicios
Infraestructuras
Biblioteca
Campus Virtual
Sede Electrónica
+
Investigación
Grupos de Investigación
Cátedras extraordinarias
+
Sugerencias
Portada
»
Estudios
»
Máster
»
Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Máster. Curso 2024/2025.
Centro responsable
:
Facultad de Informática
.
Coordinador
:
Albert Rubio Gimeno
.
Acceso y admisión
Créditos y Plazas
Detalles de la titulación
Web del Máster
Enlace externo
Aplicación de Admisión
Díptico de la titulación
Leaflet in English
Número de plazas ofertadas
45: 15+15+15
Créditos ECTS
60
