FORMAL METHODS FOR SYSTEM VERIFICATION

Anno accademico
2022/2023 Programmi anni precedenti
Titolo corso in inglese
FORMAL METHODS FOR SYSTEM VERIFICATION
Codice insegnamento
CM0474 (AF:398280 AR:214925)
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
URL per esportare il calendario su altre applicazioni (es. Google Calendar, Outlook, Apple Calendar, ecc.)
https://www.unive.it/data/ajax/Didattica/generaics?cache=-1&afid=398280
Scarica file ICS con gli orari Scarica file XSL con gli orari