Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2011/12)

Tópicos

Avisos

28 Mar - Definidas as tutorias e supervisões dos grupos de tinynew.gif 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

Education » MFES1112 » WebHome » EquipaDocente

Equipa docente

Luís Soares Barbosa lsb
José Bernardo Barros jbb
Manuel Alcino Cunha (*) mac
Maria João Frade mjf
José Nuno Oliveira jno
Jorge Sousa Pinto jsp
Ana Paiva (docente convidado - FEUP) Ana Paiva
Joost Visser (docente convidado - SIG) Joost

(*) Em licença sabática no corrente ano lectivo.

Docentes convidados

-- JoseNunoOliveira - 15 Sep 2011

r3 - 02 Feb 2012 - 18:12:06 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM