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