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

.natRevision { width:0px; height:0px; overflow:hidden; }

.natBreadCrumbs { width:0px; height:0px; overflow:hidden; }

.avisos { color: #444; font-size:12px; }

.natWebTitle { font-size:25px; }

.natMainFooterContents, .natMainHeaderContents { padding:0px; margin:0px 0px; }

r4 - 03 May 2007 - 08:33:47 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM