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
- Plan de estudios: 066C - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (2018-19)
- Carácter: OPTATIVA
- ECTS: 6.0
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
https://informatica.ucm.es/informacion-docente
Estructura
Módulos | Materias |
---|---|
No existen datos de módulos o materias para esta asignatura. |
Grupos
Clases teóricas y/o prácticas | ||||
---|---|---|---|---|
Grupo | Periodos | Horarios | Aula | Profesor |
Grupo A | 16/09/2024 - 13/12/2024 | LUNES 15:00 - 16:30 | Aula 12 | JOSE IGNACIO REQUENO JARABO MANUEL NUÑEZ GARCIA |
VIERNES 15:00 - 17:00 | Aula 12 | JOSE IGNACIO REQUENO JARABO MANUEL NUÑEZ GARCIA |