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

DisciplinasCursosA:SAnos lectivos
<1995-9695-9696-9797-9898-9999-0000-0101-0202-0303-0404-0505-0606-0707-0808-0909-1010-1111-1212-1313-1414-1515-1616-1717-1818-19
Algebraic and Coalgebraic Methods in Software DevelopmentMAP-i(1:1)URLURL-URL
Program Semantics, Verification, and ConstructionMAP-i(1:1)URLURL-URL
Thematic Seminar IIMAP-i(1:2)URL
Cálculo de Sistemas de Informação (MFES)MIEI+LCC(1:1)URLURL
Especificação e Modelação (MFES)MIEI+LCC(1:1)URL-URL
Arquitectura e Cálculo (MFES)MIEI+LCC(1:2)URL
Métodos Formais em Engenharia de SoftwareMEIAnualURLURLURLURLURLURLURL
Cálculo de ProgramasMIEI+LCC(2:2)URLURLURLURLURLURLURLURLURLURL-URLURL
Métodos de Programação ILMCC+LESI(2:1)(-)-URLURLURLURLURLURL-URLURL
Laboratórios de Informática IMIEI(1:1)URLURLURL
Informática para a MusicologiaLM(2:2)URLURLURLURLURLURLURL-URLURL
Laboratório de Métodos FormaisLMCC+LESI(5:1)URL-URL
Métodos Formais de Programação ILMCC+LESI(4:1)(-)URLURL-URLURLURLURLURLURL-URLURL
Métodos Formais de Programação IILMCC+LESI(4:2)(-)URLURL-URLURLURLURLURLURL-URLURL
Especificação e Desenvolvimento Formal de SoftwareMI/CEI(1:1)(-)-URL-URLURLURLURLURLURL
Programação Funcional AvançadaLMCC+LESI(5:1)URL-
Seminários de Ciências da ComputaçãoMI/CEI(1:2)(-)URL--URLURLURL-URL
Complementos de Especificação e SemânticaLMCC(5:1)(-)URL

 


Outras disciplinas leccionadas pelo DIUM


J. Nuno Oliveira 2018-09-08