Teaching material (slides and files for exercises) for the 9th February 2010 lecture is available here: http://mitel.dimi.uniud.it/quality/VDM-day1.zip . Access is protected; password will be communicated during the lecture.
Questo è il mio blog: ciò che leggo, ciò che vedo, qualcosa del resto. Con parsimonia.
Programmazione Web L.S. II edizione aggiornata, Apogeo 2011
I sogni della guerra, Circolo Menocchio 2008
Programmazione Web L.S., Apogeo 2007
Algoritmi, Lietocolle 2004
Antologia Verso i bit, Lietocolle 2006
L'infanzia di Gödel, Barca di Babele 1999
Nessun commento