Métodos Formais de Programação I - 96/97

Avisos

• Está disponível (Postscript) uma versão actualizada da parte do apêndice D dos apontamentos, com mais exercícios resolvidos.

Informações Gerais

• Docente responsável: J.N. Oliveira
• Equipa docente:
  • Teóricas e teórico-práticas -- J.N. Oliveira (406006)

Sumários

Estão disponíveis em Postscript.

Provas de avaliação

• 1.a chamada - 97.02.5 (9:30) Salas 2322, 2209, 2210
  • Prova (Postscript)
• 2.a chamada - 97.02.26 (9:30) Salas 2322, 2321
  • Prova (Postscript)
• Recurso - 97.09.11 (14:30) Sala 2301
  • Prova (Postscript)
• Especial
  • Prova
  • Pauta -- ver Notas Finais

Notas Finais

À data da época especial. A pauta está ordenada por CoDisc e Nome dos alunos.

[ Informação removida (RGPD artigo 17º) ]

Mais Detalhes sobre a Disciplina

Para informações específicas relativas à estrutura da disciplina por ano lectivo, consultar:

• Ano Lectivo 9697 : (Postscript)

Voltar à página principal de Métodos Formais de Programação I.

Outras disciplinas leccionadas pelo DIUM