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

Alunos

Nr Mestrado Nome Fotografia E-mail
PG20680 MEI Alexandre Rocha AlexandreRocha rocha DOT alexandrem AT gmail DOT com
PG19800 MEI Cláudio Filipe Belo da Silva Lourenço ClaudioLourenco belolourenco AT gmail DOT com
PG21029 MEI Ivo Daniel de Jesus Carrajola IvoCarrajola ivo DOT danieljc AT gmail DOT com
PG----- MEI João Miguel Queiroz de Ataíde Agorreta de Alpuim
PG20685 MEI Paulo Cristiano Pinheiro Faria PauloFaria faria DOT cristo AT gmail DOT com>
PG20687 MEI Paulo Filipe de Jesus Cruz PauloCruz paulo DOT jesus DOT cruz AT gmail DOT com
PG17229 MEI Renato Jorge Araújo Neves RenatoNeves nevrenato AT gmail DOT com
PG----- MEI Ricardo Jorge Martins Pereira

-- Created by JoseNunoOliveira - 15 Sep 2011

r9 - 28 Mar 2012 - 10:02:52 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM