Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Óptica y Optometría
Desplegar navegación
Facultad
Gobierno
Organización
Personal Académico
Horarios Administrativos
Contacto y Localización
SGIC, Memorias, Reglamentos
Actas de Junta de Facultad y Comisiones
Presentación y Reseña Histórica
+
Estudiar
Grado
Máster
Doctorado
Diplomas especialización
Guía del estudiante
Becas
+
Alumnos
Matrícula
Calendario
Horarios
Tutorías
Exámenes
Empleo
Representación de alumnos
Mentorías
Solicitud de Títulos
Correo electrónico
Apoyo social y discapacidad
+
Investigación
Grupos y Líneas de Investigación
Estudios clínicos
Preincubadora Óptica y Optometría
+
Servicios
Biblioteca
Clínica de Optometría
Museo
Aula Infomática
Sugerencias y Quejas
+
Noticias y Eventos
Otras Noticias
+
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
Número de plazas ofertadas
15
Créditos ECTS
60
