Componente Laboratorial

Linguagens de Programação

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Componente Laboratorial

Implementação de conceitos fundamentais de linguagens de programação, utilizando um assistente de prova (e.g. Coq). Apoio durante a realização dos projectos. Apresentação pública dos projectos realizados e sua discussão.