|
|
Laurea Specialistica in
Ingegneria Informatica,
Corso di
Metodi Formali nell'Ingegneria del Software
Edizione dell'a.a. 2007/08
Parte II: Fondamenti logici dei Metodi Formali
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|