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
Formación Permanente
+
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 2023/2024.
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
Aplicación de Admisión
Díptico de la titulación
Leaflet in English
Características
Competencias y objetivos
Estructura del plan
Personal Académico
Recursos Materiales
Sistema de Garantía de Calidad