Métodos Formales en Ingeniería Informática (Con UAM y UPM)

Máster. Curso 2024/2025.

MÉTODOS FORMALES DE TESTING - 609028

Curso Académico 2024-25

Datos Generales

SINOPSIS

COMPETENCIAS

ACTIVIDADES DOCENTES

Otra información relevante

La ficha detallada se puede consultar en la sección de información docente de la Web de Facultad de Informática.

https://informatica.ucm.es/informacion-docente

Estructura

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

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A18/09/2024 - 15/12/2024LUNES 16:30 - 18:00Aula 12JOSE IGNACIO REQUENO JARABO
MANUEL NUÑEZ GARCIA
MARIA ELENA GOMEZ MARTINEZ
VIERNES 17:00 - 19:00Aula 12JOSE IGNACIO REQUENO JARABO
MANUEL NUÑEZ GARCIA
MARIA ELENA GOMEZ MARTINEZ