Lógica e Verificação de Modelos
pt
en
Turnos
Turno
Semanas
Data
Sala
Turma(s)
LVMT01
1 - 14
segunda, 09:00 — 11:00
E3
MEIC-A0101
MEIC-A0102
MMA0101
LVMT01
1 - 6, 8 - 14
quinta, 15:00 — 17:00
V1.24
MEIC-A0101
MEIC-A0102
MMA0101
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
Sessões de dúvidas
Textos de apoio
Exames anteriores
Pautas