2223-1-F1801Q132-F1801Q132M: Introduzione al model-checking | e-Learning - UNIMIB

Vai al contenuto principale

Home
Altro

Italiano ‎(it)‎

English ‎(en)‎ Italiano ‎(it)‎

Ospite

Login

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
Introduzione al model-checking

Unità didattica Titolo del corso

Modelli della Concorrenza

Codice identificativo del corso

2223-1-F1801Q132-F1801Q132M

Descrizione del corso

Introduzione al model-checking

Per visualizzare il file, fai click su questo link: Fantechi_p_29_38.pdf

Ospite (Login)

Ottieni l'app mobile

Powered by Moodle

© 2024 Università degli Studi di Milano-Bicocca

Privacy
Accessibilità
Statistiche