Buscar en la web
Desplegar navegación
Navegar identificado
Universidad Complutense de Madrid
Desplegar navegación
UCM
Gobierno
Facultades
Departamentos
Otros Centros
Servicios
Transparencia
Calidad
Alumni
Unidad de Igualdad
Emprendimiento
+
Estudiar
Estudios
Pruebas de acceso a Grado
Admisión a la Universidad
Matrícula
Prácticas y empleo
Becas y ayudas
Estudiantes internacionales
Formación Permanente
Cursos de Verano El Escorial
Escuela Complutense de Verano
Colegios Mayores, Museos, Deportes...
+
Investigar
Investigación
Servicio de Investigación
Servicio de Administración de Personal Investigador
OTRI
HRS4R
Ediciones Complutense
Biblioteca
+
Internacional
Portada
Noticias / News
Convocatorias
Movilidad
Programas Europeos
Programas UCM
Una Europa
Contacto
+
Vida universitaria
Agenda
Cultura y museos
Deportes
Encuentros UCM
Tienda Complutense
+
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
.
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
Características
Competencias y objetivos
Estructura del plan
Personal Académico
Recursos Materiales
Sistema de Garantía de Calidad
