Vai al contenuto principale
Pannello laterale
Home
Altro
Italiano (it)
English (en)
Italiano (it)
Ospite
Login
Home
Apri indice del corso
Percorso della pagina
Post-Laurea
Scuola di Dottorato di Ricerca
Didattica Corsi di Dottorato
Computer Science / Informatica
2018-2019
Static and Dynamic Software Analysis
Alloy - 17/09/2019
Practice: The elevator problem in Alloy
Titolo del corso
Static and Dynamic Software Analysis
Codice identificativo del corso
1819-87R-SDSA
Descrizione del corso
Practice: The elevator problem in Alloy
Per visualizzare il file, fai click su questo link:
elevator_tosolve.als