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 de la UCM y la UPM/ Formal Methods in Computer Science
Metodos Formales en Ingeniería Informática de la UCM y la 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
Qué tengo que hacer
Plazos
