DOCUMENTAZIONE
Presentazioni Powerpoint delle lezioni rivedute
Introduzione Versione 1.0
Specifiche loose o property-oriented Versione 1.0
Esercizi sulla specifica loose dele mappe Versione 1.1
Modello iniziale Versione 1.1
Esercizi sulla specifica iniziale delle mappe
Esercizi sulle specifiche algebriche
Ultima modifica: 8 Gennaio 2003