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

Máster. Curso 2018/2019.

ANÁLISIS ESTÁTICO DE PROGRAMAS Y RESOLUCIÓN DE RESTRICCIONES - 609025

Curso Académico 2018-19

Datos Generales

SINOPSIS

COMPETENCIAS

ACTIVIDADES DOCENTES

Estructura

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

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A12/09/2018 - 20/12/2018MARTES 15:00 - 18:00Aula 11MANUEL MONTENEGRO MONTES