Métodos Formais em Engenharia de SoftwareMestrado de [Engenharia] Informática (2011/12)
|
Tópicos
Avisos
28 Mar - Definidas as tutorias e supervisões dos grupos de
 Projecto integrado.
29 Jan - A notas finais do módulo de Lógica (AMT) estão publicadas em Funcionamento.
12 Dez - Data limite para a entrega do relatório sobre a ficha prática de Lógica: 15 Jan 2012
07 Dez - A aula suplementar no próximo dia 09-Dez (sexta feira), das 9h00 às 18h00, terá lugar na sala
|
28 Mar - Definidas as tutorias e supervisões dos grupos de Projecto integrado.
29 Jan - A notas finais do módulo de Lógica (AMT) estão publicadas em Funcionamento.
12 Dez - Data limite para a entrega do relatório sobre a ficha prática de Lógica: 15 Jan 2012
07 Dez - A aula suplementar no próximo dia 09-Dez (sexta feira), das 9h00 às 18h00, terá lugar na sala
|