Lógica e Verificação de Modelos
pt
en
Métodos de Avaliação
Projecto (50%) + Exame Final (50%).
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Resultados QUC
Turnos
Anúncios
Sumários
Notas
Textos de apoio
Sessões de dúvidas
Spin
Pautas