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
Material