Enter search term
Desplegar navegación
Log in
Complutense University of Madrid
Desplegar navegación
UCM
Governance
Faculties and Departments
Campuses
History
Gender Equality
+
Study with Us
Courses
Halls of Residence
Student Services
+
Research
Library
Knowledge Transfer Office
Complutense University Press
+
International
Front Page
Partner Institutions Browser
EU Programmes
Other Exchange Programmes
Mobility
Networks & Alliances
+
University Life
Madrid
Culture
Sport
What's On
Transport
Museums
+
Home
»
Courses
»
Master's Programme
»
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
Master's Programme. Academic Year 2025/2026.
Supervising Department
:
Facultad de Informática
.
Course Coordination
:
Albert Rubio Gimeno
.
Entrance and Admission
ECTS and Placements
Details about the study programme
Master website
External link
Pendiente de autorización de implantación de la Comunidad de Madrid
Details
Objectives and learning outcomes
Study Programme Structure
