Dettagli sull'Insegnamento per l'A.A. 2019/2020
Le informazioni che state leggendo si riferiscono all'anno accademico 2019/2020.
Per questo molti collegamenti non sono disponibili e i dati potrebbero essere incompleti.
Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.
Per consultare le informazioni relative ad altri anni accademici, usa la lista in fondo a questa pagina.
A. Accademico:
2019/2020
Nome:
Metodi Formali / Formal Methods
Tipo:
Corso singolo
Informazioni
Codice:
F0191
SSD:
INF/01
Crediti:
: Master Degree in Computer Science 6 CFU (b)
Periodo:
1st semester
Erogazione:
Master Degree in Computer Science 1st anno curriculum GSEEM Compulsory
Master Degree in Computer Science 1st anno curriculum General Compulsory
Master Degree in Computer Science 1st anno curriculum General Compulsory
Lingua:
Inglese
![[info]](img/info16.png)
Docenti:
Mutuato da:
Ultimo aggiornamento delle informazioni sul corso: 10 settembre 2015, 10:41