Sfoglia per Relatore
LA TECNOLOGIA BLOCKCHAIN
2018/2019 VENTIMIGLIA, VITTORIO
Model checking nel sistema Maude
2019/2020 DI SABATINO, LUCA
Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software
2018/2019 CIAVARRO, CRISTINA
TTT2: un tool per la terminazione di sistemi di riscrittura
2019/2020 FORTUNATO, FEDERICO
| Tipo | Anno accademico | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Laurea triennale (Bachelor's Degree) | 2018/2019 | LA TECNOLOGIA BLOCKCHAIN | VENTIMIGLIA, VITTORIO | |
| Laurea triennale (Bachelor's Degree) | 2019/2020 | Model checking nel sistema Maude | DI SABATINO, LUCA | |
| Laurea magistrale (Postgraduate Degree) | 2018/2019 | Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software | CIAVARRO, CRISTINA | |
| Laurea triennale (Bachelor's Degree) | 2019/2020 | TTT2: un tool per la terminazione di sistemi di riscrittura | FORTUNATO, FEDERICO |
Legenda icone
- File disponibili sulla rete interna
- File non disponibili
- File sotto embargo