Tesi di laurea con relatore o correlatore Lanese, Ivan, discusse nel 2020

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: Laurea | Laurea magistrale
Numero di documenti: 3.

Laurea

Di Pasquale, Vairo (2020) Verifica di Well-Formedness in un Tool per Choreography Automata. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Tabanelli, Luca (2020) Debugging reversibile di Erlang: Gestione dei costrutti per l’error-handling. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Laurea magistrale

Fabbretti, Giovanni (2020) Causal-Consistent Debugging of Distributed Erlang. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Questa lista e' stata generata il Mon May 6 20:37:32 2024 CEST.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^