Buscar en la web
Desplegar navegación
Navegar identificado
Estudios Avanzados en Trabajo y Empleo
Másteres oficiales
Desplegar navegación
Presentación
Estructura y plan de estudios
Destinatarios y salidas
Competencias
Localización y contacto
+
Admisión y matrícula
Criterios de admisión
Preinscripción y matrícula
Precios y becas
+
Profesorado
Personal docente
International Advisory Board
Grupos de investigación
+
Docencia
Fichas y programas
Calendario académico
Horarios
Tutorías
Materiales de adaptación
+
Prácticas externas
Trabajo de Fin de Máster
Orientaciones generales
Calendario TFM
Premios TFM
Normativa TFM
Tribunal de reclamaciones TFM
+
Recursos y servicios
Evaluación y calidad del título
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
Díptico de la titulación
Leaflet in English
Qué tengo que hacer
Plazos
