Corso di Analisi e Verifica di Sistemi (LS in Informatica, a.a. 07/08)


Corso di Semantica dei Linguaggi di Programmazione (LS in Informatica, a.a. 07/08)


Corso di Programmazione 2 (LT in Informatica, a.a. 07/08)