Lógica e Verificação de Modelos
pt
en
Sessões de dúvidas para o primeiro exame
9 janeiro 2014, 10:09
•
Jaime Ramos
2ª feira, dia 13 de janeiro, às 10:00 no gabinete 5.37
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
Pautas
Exames anteriores
Textos de apoio
Sessões de dúvidas