Lógica e Verificação de Modelos
pt
en
Objectivos
Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda
Aplicar lógica na verificação de sistemas de hardware e de software.
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