Teaching/Ensino

2015.1

• Algoritmo e programação de computadores (DIM0320)
• Linguagens de programação (DIM0321)

2014.2

• Algoritmo e programação de computadores (DIM0320)
• Especificação e verificação de programas (DIM0436)