Métodos Formais em Engenharia de Software |
---|
Cálculo de Sistemas de Informação |
Programação Ciber-física |
Verificação Formal |
Calendário | Sumários |
Anos anteriores |
Alumni |
23-Abr: o teste de amanhã decorrerá no horário e sala habitual. O teste é sem consulta, a menos do formulário do aviso anterior, que os alunos poderão trazer impresso, se desejarem.
23-Abr: nova versão do Formulário de acordo com as sugestões da aula de ontem. NB: as altearções em relação à versão anterior estão marcadas as azul.
14-Abr: a aula suplementar do dia 22-Abr terá lugar às 16h na sala E7-0.05.
19-Jan: Início das aulas - 6-Fev, ver sumários.