Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
---|---|---|---|---|---|
Lauree triennali | 2021 | Implementazione di un typechecker statico e ottimizzazioni per un linguaggio di programmazione | Implementation of a static typechecker and optimizations for a programming language | FERRARINI, ALESSIO | |
Lauree magistrali | 2023 | Abstract Hoare logic | Abstract Hoare logic | FERRARINI, ALESSIO |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile