Dettagli sull'Insegnamento per l'A.A. 2010/2011
Le informazioni che state leggendo si riferiscono all'anno accademico 2010/2011.
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:
2010/2011
Nome:
Metodi Formali e di Verifica / Formal Methods and Verification of Complex systems
Tipo:
Corso singolo
Informazioni
Codice:
F0190
SSD:
INF/01
Crediti:
: 12 CFU (b)
Periodo:
2° semestre
Erogazione:
Laurea Magistrale in Informatica curriculum SDRC Opzionale
Laurea Magistrale in Informatica 1° anno curriculum ASSC Obbligatorio
Laurea Magistrale in Informatica 1° anno curriculum GSEEM Obbligatorio
Laurea Magistrale in Informatica 1° anno curriculum ASSC Obbligatorio
Laurea Magistrale in Informatica 1° anno curriculum GSEEM Obbligatorio
Lingua:
Inglese
![[info]](img/info16.png)
Docenti:
Ultimo aggiornamento delle informazioni sul corso: 23 febbraio 2011, 18:12