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

Vai al contenuto principale

Se prosegui nella navigazione del sito, ne accetti le politiche:

Condizioni di utilizzo e trattamento dei dati

Prosegui

x

Home
Altro

Italiano ‎(it)‎

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

Ospite

Login

Espandi tutto Minimizza tutto

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

Aggregazione dei criteri

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