AVVISO

La prova in itinere relativa alla prima parte del corso di Metodi Formali dell'Informatica avrà luogo venerdì 4 aprile 2003, dalle ore 9:00 alle ore 11:00, nell'aula 2 del Dipartimento di Matematica e Informatica.

Chi intendesse sostenere tale prova deve prenotarsi sul sito UNIWEB del Dipartimento di Matematica e Informatica.

Una descrizione della prova in itinere è contenuta nei link [formato postscript] / [formato pdf] assieme alla soluzione e ad alcune utili raccomandazioni.