Buscar en la web
Desplegar navegación
Navegar identificado
Facultad de Enfermería, Fisioterapia y Podología
Desplegar navegación
Facultad
Presentacion
Gobierno
Normativa
Organización
Recursos Humanos
Secretaría académica
Transparencia
Imagen Corporativa
Localización y contacto
+
Estudios
Grado
Máster
Doctorado
+
Estudiantes
Secretaría de estudiantes
Programa de Mentorías
Mi primer día como estudiante
Atención a estudiantes con discapacidad
Seguro Escolar
Programas de movilidad
Programa de voluntariado
+
Servicios
Biblioteca
Campus Virtual
Aulas y SS. II.
+
Investigación
Grupos de Investigación FEFyP
+
Internacional
Calidad
Informes Verificación, Seguimiento y Acreditación
RUCT
Encuestas de satisfacción
Reclamaciones. Sugerencias y quejas
+
Actividades
Jornadas Sociosanitarias
Jornadas sobre Salidas Profesionales para Estudiantes
Carrera FEFyP
Premio EmocionArte
Deportes FEFyP
Otras actividades
+
Portada
»
Estudios
»
Máster
»
Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science
Metodos Formales en Ingeniería Informática (conjunto con 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
