Tutti i prossimi seminari - Linguaggi e tecniche speciali di programmazione - (2005/2006)

Data Ciclo di seminari
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)
Tot 1 Seminari

Offerta formativa