Metodi Formali dell'Informatica
(A.A. 2001/02)
Testi delle prove di esame (in formato postscript)
:
Esame dell'11/6/2002
Esame del 24/7/2002
Esame del 18/9/2002
Esame dell'8/10/2002
Esame del 13/12/2002
Esame del 29/1/2003
Esame del 21/2/2003