Lógica e Verificação de Modelos
pt
en
Turnos
Turno
Semanas
Data
Sala
Turma(s)
LVMT01
1 - 11, 14
quinta, 15:00 — 17:00
V1.24
MMA0101
MEIC-A0102
MEIC-A0101
LVMT01
1 - 14
segunda, 10:00 — 12:00
E3
MMA0101
MEIC-A0102
MEIC-A0101
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