Tesi etd-09062016-145427 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
MASSARO, VITTORIO
URN
etd-09062016-145427
Titolo
Congruence from the Operator's Point of View: from Concrete to Abstract Semantics
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Bruni, Roberto
Parole chiave
Data inizio appello
07/10/2016
Consultabilità
Completa
Riassunto
File
Nome file | Dimensione |
---|---|
VittorioMassaro.pdf | 530.18 Kb |
Contatta l’autore |