FORMAL METHODS FOR SYSTEM VERIFICATION

Anno accademico 2021/2022 Programmi anni precedenti
Titolo corso in inglese FORMAL METHODS FOR SYSTEM VERIFICATION
Codice insegnamento CM0474 (AF:354810 AR:185436)
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
Materiali didattici
Corsi di studio e percorsi
  • [CM9] COMPUTER SCIENCE - Laurea magistrale (DM270)
    percorso comune