Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science

Máster. Curso 2025/2026.

MÉTODOS FORMALES DE TESTING - 610609

Curso Académico 2025-26

Datos Generales

Estructura

MódulosMaterias
No existen datos de módulos o materias para esta asignatura.

Grupos

Clases teóricas y prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A13/10/2025 - 19/12/2025LUNES 16:00 - 18:00Aula 1208
SÁBADO 15:00 - 17:00Aula 1208