Data | Ciclo di seminari | |
---|---|---|
2006-03-24 11:00 24/03/06 |
Derivazione formale di proprietà di programmi object-based ed un'interpretazione logica del subtyping.
Orario:
h 11:00
|
Relatore:
Ugo de' Liguoro
(Università di Torino)
|
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>