Ir para o conteúdo principal
Painel lateral
Português (pt)
Deutsch (de)
English (en)
Français (fr)
Português (pt)
A aceder como visitante (
Entrar
)
Informações sobre a unidade curricular
Página principal
Unidades
Métodos Formais em Engenharia de Software
Sumário
Métodos Formais em Engenharia de Software (FEUP-EIC0039-2020/2021-1S)
Professor:
Rui Filipe Lima Maranhão de Abreu
Professor:
Flávio Henrique Ferreira Couto
Professor:
João Carlos Pascoal Faria
Professor:
Nuno Filipe Moreira Macedo
Período
:
1ºSemestre
Métodos Formais em Engenharia de Software
Página principal
Calendário