Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

Calendario delle lezioni

Orario delle lezioni

Il corso inizia il 2 Maggio 2008, termina il 20 Giugno 2008, e prevede 5 crediti.
Le lezioni si tengono presso la sede del DIS in Via Ariosto 25, aula B1 secondo il seguente orario:

Giovedi, dalle 15:45 alle 17.15
Venerdi, dalle 14:00 alle 17:15

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]