Lógica e Verificação de Modelos
pt
en
Extraordinary class today
12 novembro 2018, 11:34
•
Paulo Alexandre Carreira Mateus
The lecture is held at room P13 by 15:00
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
Lectures