Lógica e Verificação de Modelos
pt
en
Bibliografia
Principal
Logic in Computer Science:
Huth & Ryan
2004
Cambridge University Press
Principles of Model Checking:
Baier & Katoen
2008
MIT Press
Secundária
Não foi definida bibliografia secundária
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
Lecture slides
Labs