FORMAL METHODS FOR SYSTEM VERIFICATION

Anno accademico
2019/2020 Programmi anni precedenti
Titolo corso in inglese
FORMAL METHODS FOR SYSTEM VERIFICATION
Codice insegnamento
CM0474 (AF:306545 AR:166113)
Modalità
In presenza
Crediti formativi universitari
6
Livello laurea
Laurea magistrale (DM270)
Settore scientifico disciplinare
INF/01
Periodo
I Semestre
Anno corso
1
Sede
VENEZIA
Spazio Moodle
Link allo spazio del corso
Orario settimanale
Giorno Orario Aula Sede Note  
Lezione Aula Sede Attività Docenti Note