Quantum Logic 2017/18

Perfil de Métodos Formais em Engenharia de Software

Dep. Informática, Universidade do Minho

Objectivos

Este curso tem por objectivo o estudo de isto e aquilo ...

Programa resumido

Material de apoio

Slides
Exercícios e projectos
Links úteis
Bibliografia

Funcionamento

Docente
Avaliação
Atendimento