FORMAL METHODS FOR SYSTEM VERIFICATION

Anno accademico
2026/2027 Programmi anni precedenti
Titolo corso in inglese
FORMAL METHODS FOR SYSTEM VERIFICATION
Codice insegnamento
CM0474 (AF:733800 AR:436289)
Lingua di insegnamento
Inglese
Modalità
In presenza
Crediti formativi universitari
6
Livello laurea
Laurea magistrale (DM270)
Settore scientifico disciplinare
INFO-01/A
Periodo
I Semestre
Anno corso
1
Sede
VENEZIA
Docenti
Corsi di studio e percorsi
  • [CM90] COMPUTER SCIENCE AND INFORMATION TECHNOLOGY - Laurea magistrale (DM270)
    percorso comune