Tesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2019

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
Numero di documenti: 2.

Laurea

Berlingieri, Andrea (2019) Implementazione del linguaggio dichiarativo in Matita 0.99.x. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Bucciarelli, Stefano (2019) Un compilatore per un linguaggio per smart contract intrinsecamente tipato. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Wed May 1 16:29:02 2024 CEST.

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

^