Vai al contenuto principale
Pannello laterale
Home
Altro
Italiano (it)
English (en)
Italiano (it)
Ospite
Login
Home
Apri indice del corso
Percorso della pagina
Area di Scienze
Corso di Laurea Magistrale
Informatica [F1801Q]
Insegnamenti
A.A. 2022-2023
1° anno
Modelli della Concorrenza
Logiche temporali e model-checking
Lezione del 22 dicembre
Unità didattica
Titolo del corso
Modelli della Concorrenza
Codice identificativo del corso
2223-1-F1801Q132-F1801Q132M
Descrizione del corso
SYLLABUS
Lezione del 22 dicembre
Per visualizzare il file, fai click su questo link:
mc-l5.pdf