Buscar en la web
UCM
Cisne
Desplegar navegación
Navegar identificado
Biblioteca Complutense
Desplegar navegación
Buscar y encontrar
Artículos
Bases de datos
Cisne
Docta Complutense
Libros electrónicos
Patrimonio Digital Complutense
Revistas
+
Estudiar e investigar
Bibliografías recomendadas
Portal de Formación
Portal de Producción Científica UCM
Préstamo
Préstamo Interbibliotecario
Sexenios
Uso de la Biblioteca
+
Bibliotecas y horarios
Conócenos
¿Quiénes somos?
Nuestra historia
Participa
Redes Sociales
Tu rincón favorito
+
Ayuda
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
Qué tengo que hacer
Plazos