Métodos Formales en Ingeniería Informática (Con UAM y UPM)
Máster. Curso 2023/2024.
PROGRAMACIÓN DECLARATIVA - 609172
Curso Académico 2023-24
Datos Generales
- Plan de estudios: 066C - MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (2018-19)
- Carácter: COMPLEMENTO DE FORMACION
- ECTS: 6.0
SINOPSIS
COMPETENCIAS
ACTIVIDADES DOCENTES
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 (coincidente con grupo A de GII) | - | - | - | FRANCISCO JAVIER LOPEZ FRAGUAS |
| Grupo DG | 11/09/2023 - 21/12/2023 | LUNES 12:30 - 14:30 | Aula 1220 | FRANCISCO JAVIER LOPEZ FRAGUAS |
| LUNES 12:30 - 14:30 | E-1008 | FRANCISCO JAVIER LOPEZ FRAGUAS | ||
| MARTES 12:30 - 14:30 | Aula 1220 | FRANCISCO JAVIER LOPEZ FRAGUAS | ||