Lógica e Verificação de Modelos
pt
en
Turnos
Turno
Semanas
Data
Sala
Turma(s)
LVM179577T01
1 - 10, 13
terça, 15:00 — 17:00
QA1.4
MMA0101
LVM179577T01
1 - 13
quinta, 14:00 — 16:00
P13
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
Remote zoom lectures
Lecture Notes