Metodi Formali in Informatica

Codice: 
765SM
Sett. Sc. Disc.: 
INF/01
Cfu: 
6
CdS: 
Laurea Specialistica
Docenti: 
Anno Accademico: 
2012/2013
Anno di Corso: 
Secondo
Semestre: 
II
Programma del corso: