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 |
609033 | APRENDIZAJE AUTOMÁTICO | OPTATIVA | 6.0 | Si |
609035 | COMPUTACIÓN CUÁNTICA | OPTATIVA | 6.0 | Si |
609031 | DESARROLLO FORMAL DE SOFTWARE DIRIGIDO POR MODELOS | 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 |