FORMAL METHODS FOR SYSTEM VERIFICATION

Anno accademico
2024/2025 Programmi anni precedenti
Titolo corso in inglese
FORMAL METHODS FOR SYSTEM VERIFICATION
Codice insegnamento
CM0474 (AF:513719 AR:286751)
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  
Lunedì 10:30 - 12:00 Aula A Campus scientifico via Torino (edificio Zeta)
Giovedì 08:45 - 10:15 Sala Conferenze Gabriele Zanetto Campus scientifico via Torino (edificio Alfa)
Giovedì 08:45 - 10:15 Aula B Campus scientifico via Torino (edificio Zeta)
Lezione Aula Sede Attività Docenti Note
Lun 16/09/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 23/09/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 26/09/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 30/09/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 03/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 07/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 10/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 14/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 17/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 21/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 24/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 28/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 31/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 04/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 07/11/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 11/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 14/11/2024 08:45-10:15 Sala Conferenze Gabriele Zanetto Campus scientifico via Torino (edificio Alfa) Lezione ROSSI Sabina
Lun 18/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 25/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 28/11/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Lun 02/12/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 05/12/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Gio 12/12/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina