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
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 y Movilidad
+
Servicios
Biblioteca
Campus Virtual
Sede Electrónica
+
Actividades culturales
Inserción laboral / DOC-empleo
SISE
Encuesta de Inserción laboral en Documentación
Encuestas de Inserción laboral (UCM)
+
Portada
»
Estudios
»
Máster
»
Metodos Formales en Ingeniería Informática/Formal Methods in Computer Science (conjunto con UPM)
Metodos Formales en Ingeniería Informática/Formal Methods in Computer Science (conjunto con UPM)
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
Díptico de la titulación
Leaflet in English
Características
Competencias y objetivos
Estructura del plan
