Si elencano qui i materiali didattici usati come supporto principale alle lezioni ed esercitazioni nell'AA 2003/2004, II quadrimestre.
Questi ed altri materiali e riferimenti bibliografici, per consultazione o per ulteriori approfondimenti, sono reperibili separatamente, nell'area Risorse del sito BSCW del corso.
Ulteriori materiali sono reperibili nei siti esterni d'interesse elencati in detta area.
G. Scollo,
Introduzione alla specifica formale di sistemi software,
Università di Verona, Dipartimento di Informatica, 2004.
(Note MSSS in preparazione)Peter D. Mosses, Michel Bidoit,
CASL User Manual,
Lecture Notes in Computer Science, Vol. 2900,
240 p. + CD-ROM, also available online.
Springer-Verlag, Heidelberg, 2004.
ISBN: 3-540-20766-X