Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Ciencias de la Documentación
Desplegar navegación
Facultad
Gobierno
Organización
Departamento
La Facultad y las asociaciones profesionales
Reserva y alquiler de espacios
Transparencia
Elecciones
Planos
Localización y contacto
Historia
+
Estudiar
Grado
Másteres
Doctorado
Universidad Mayores
Títulos Propios
Cursos de Encuadernación
+
Estudiantes
Secretaría de Estudiantes
Exámenes
Horarios
+
Investigación y Relaciones Internacionales
Investigación y Transferencia
Relaciones Internacionales
+
Servicios
Biblioteca
Campus Virtual
Sede Electrónica
+
Actividades culturales
Inserción laboral
SISE
Encuesta de Inserción laboral en Documentación
Encuestas de Inserción laboral (UCM)
+
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
Número de plazas ofertadas
45: 15+15+15
Créditos ECTS
60
