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 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 (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
Número de plazas ofertadas
15
Créditos ECTS
60
