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
»
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 2024/2025.
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
Aplicación de Admisión
Díptico de la titulación
Leaflet in English
Número de plazas ofertadas
45: 15+15+15
Créditos ECTS
60
