Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Ciencias Políticas y Sociología
Desplegar navegación
Facultad
Gobierno
Organización
Gestión Administrativa
Servicios
Secretaría de Estudiantes
Instalaciones
Historia
+
Estudiar
Grado
Máster
Doctorado
Títulos Propios
Calendario, horario y exámenes de grados
Prácticas externas
+
Investigación
Portada
Grupos de Investigación de la Facultad
Institutos Universitarios
Investigadores contratados
Investigadores visitantes
Ética de la investigación
Premios a la Investigación de la Facultad
Financiación a investigación
+
Prácticas Externas
Movilidad e Internacional
Portada
Mov. internacional
SICUE
+
Calidad
Estudiantes
Portada
Delegación de Estudiantes
Asociaciones de Estudiantes
Otros servicios
+
Sostenibilidad
Asignaturas sostenibles
Curso 2022-23
Refugio climático y biodiverso
Descarbonización
La huerta en el campus
Ciclo y calidad del agua
Productos de limpieza sostenibles
+
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
