U.Minho José Nuno Oliveira - Serviço Docente
[ DI/UM ]

Disciplinas Cursos A:S Anos lectivos
<1995/96 95/96 96/97 97/98 98/99 99/00 00/01 01/02 02/03 03/04 04/05 05/06 06/07 07/08 08/09 09/10 10/11 11/12 12/13 13/14 14/15
Algebraic and Coalgebraic Methods in Software Development MAP-i (1:1) URL URL
Program Semantics, Verification, and Construction MAP-i (1:1) URL URL - URL
Thematic Seminar II MAP-i (1:2) URL
Especificação e Modelação (MFES) MEI (1:1) URL
Métodos Formais em Engenharia de Software MEI Anual URL URL URL URL URL URL URL URL
Laboratórios de Informática I LEI (1:1) URL URL URL
Cálculo de Programas LEI + LCC (2:2) (URL) URL URL URL URL URL URL URL URL URL
Informática para a Musicologia LM (2:2) URL URL URL URL URL URL URL
Laboratório de Métodos Formais LMCC + LESI (5:1) URL - URL
Métodos Formais de Programação I LMCC + LESI (4:1) (-) URL URL - URL URL URL URL URL URL - URL URL
Métodos Formais de Programação II LMCC+ LESI (4:2) (-) URL URL - URL URL URL URL URL URL - URL URL
Métodos de Programação I LMCC + LESI (2:1) (-) - URL URL URL URL URL URL - URL URL
Especificação e Desenvolvimento Formal de Software MI/CEI (1:1) (-) (-) URL - URL URL URL URL URL URL
Programação Funcional Avançada LMCC + LESI (5:1) URL
Seminários de Ciências da Computação MI/CEI (1:2) (-) URL (-) - URL URL URL -
Complementos de Especificação e Semântica LMCC (5:1) (-) PDF

 


Outras disciplinas leccionadas pelo DIUM


jno 2014-11-26