• English
  • Youtube
  • Facebook
  • Twitter
  • Linkedin
  • Instagram
  • tiktok

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

Máster. Curso 2022/2023.

VERIFICACIÓN ASISTIDA DE PROGRAMAS - 609027

Curso Académico 2022-23

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 A23/01/2023 - 14/04/2023LUNES 15:00 - 17:00Aula 12CLARA MARIA SEGURA DIAZ
RICARDO VICENTE PEÑA MARI
JUEVES 15:00 - 17:00Aula 12CLARA MARIA SEGURA DIAZ
RICARDO VICENTE PEÑA MARI