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 |