Lógicas para Especificação e Verificação
Código
8298
Unidade Orgânica
Faculdade de Ciências e Tecnologia
Departamento
Departamento de Informática
Créditos
6.0
Professor responsável
Luís Manuel Marques da Costa Caires
Horas semanais
4
Língua de ensino
Português