Lógica e Verificação de Modelos
pt
en
Turnos
Turno
Semanas
Data
Sala
Turma(s)
LVM17T01
1 - 14
quinta, 15:00 — 17:00
V0.03
MMA0101
LVM17T01
1 - 14
segunda, 09:00 — 11:00
P1
MMA0101
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Material