| Métodos Formais em Engenharia de Software |
|---|
| Cálculo de Sistemas de Informação |
| Programação Ciber-física |
| Verificação Formal |
| Projecto em MFP |
| Anos anteriores |
| Calendário | Sumários |
| Alumni |
testeOrdenadas por número mecanográfico:
53915 = F; 54468 = F; 58717 = D; 58811 = 3.4; 60110 = 6.8; 60236 = 14.3; 60240 = 10.8; 60251 = 18.1; 60257 = F; 60260 = 10.3; 60265 = F; 60279 = 3.6; 60287 = 15.0; 61130 = 12.3; 61135 = 8.1; 61144 = 4.8; 61153 = 13.8; 61453 = 9.0; 61480 = 11.5; 61542 = 8.3
| Nr | Nome | A/B | Grupo | ‘Paper’ |
|---|---|---|---|---|
| PG61130 | Ana Margarida Campos Pires | B | 4 | 21 |
| PG60236 | Ana Sá Oliveira | B | 2 | 8 |
| PG61135 | Carlos Diogo Fernandes Pina | A | - | 15 |
| PG61453 | Carolina de Passos Sá | B | 3 | 17 |
| PG60240 | Cláudia Rego Faria | B | 1 | 13 |
| PG54468 | David José de Sousa Machado | A | - | 6 |
| PG60251 | Edgar Eira Araújo | B | 5 | 7 |
| PG60257 | Gabriel Costa Paiva | B | 5 | 11 |
| PG60260 | Gonçalo Alexandre Lopes Norton Caixeiro | B | 2 | 22 |
| PG60265 | Henrique Pinto Pires Lopes de Faria | A | - | 10 |
| PG58717 | João Carlos Macedo Ribeiro | B | 2 | 23 |
| PG53915 | João Henrique Rodrigues Pestana do Vale | A | - | 20 |
| PG61144 | João Machado Gonçalves | A | - | 19 |
| PG60110 | João Pedro Fernandes Duarte | A | - | 14 |
| PG60279 | Luís Miguel Alves e Silva | B | 5 | 1 |
| PG61480 | Miguel Liquito | B | 3 | 3 |
| PG61153 | Miguel Torres Carvalho | B | 4 | 9 |
| PG60287 | Patrícia Daniela Fernandes Bastos | B | 1 | 5 |
| PG61542 | Renato Pereira Garcia | B | 1 | 12 |
| PG58811 | Vasco José Machado Mota | B | 3 | 4 |