Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Máster. Curso 2024/2025.
MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA
Curso Académico 2024-25
Curso 1
Código | Asignatura | Carácter | Créditos | Ofertada |
---|---|---|---|---|
609029 | ANÁLISIS DE SISTEMAS CONCURRENTES Y DISTRIBUIDOS | OPTATIVA | 6.0 | Si |
609025 | ANÁLISIS ESTÁTICO DE PROGRAMAS Y RESOLUCIÓN DE RESTRICCIONES | OBLIGATORIA | 6.0 | Si |
609035 | COMPUTACIÓN CUÁNTICA | OPTATIVA | 6.0 | Si |
609032 | DISEÑO DE ALGORITMOS BIOINSPIRADOS | OPTATIVA | 6.0 | Si |
609030 | DISEÑO DE SISTEMAS CORRECTOS POR CONSTRUCCIÓN | OPTATIVA | 6.0 | Si |
609034 | DISEÑO Y ANÁLISIS DE PROTOCOLOS DE SEGURIDAD | OPTATIVA | 6.0 | Si |
609028 | MÉTODOS FORMALES DE TESTING | OPTATIVA | 6.0 | Si |
609026 | MODELOS DE LA CONCURRENCIA | OBLIGATORIA | 6.0 | Si |
609036 | PRÁCTICAS EN EMPRESAS O GRUPOS DE INVESTIGACIÓN | OPTATIVA | 6.0 | Si |
609024 | TEORÍA DE LENGUAJES DE PROGRAMACIÓN | OBLIGATORIA | 6.0 | Si |
609037 | TRABAJO FIN DE MÁSTER | Trabajo fin de Máster | 12.0 | Si |
609027 | VERIFICACIÓN ASISTIDA DE PROGRAMAS | OPTATIVA | 6.0 | Si |
Sin curso definido
Código | Asignatura | Carácter | Créditos | Ofertada |
---|---|---|---|---|
609169 | FUNDAMENTOS DE LOS LENGUAJES INFORMÁTICOS | COMPLEMENTO DE FORMACION | 6.0 | Si |
609170 | MÉTODOS ALGORÍTMICOS EN RESOLUCIÓN DE PROBLEMAS | COMPLEMENTO DE FORMACION | 9.0 | Si |
609171 | PROCESADORES DE LENGUAJES | COMPLEMENTO DE FORMACION | 6.0 | Si |
609173 | PROGRAMACIÓN CONCURRENTE | COMPLEMENTO DE FORMACION | 6.0 | Si |
609172 | PROGRAMACIÓN DECLARATIVA | COMPLEMENTO DE FORMACION | 6.0 | Si |