Temi di ricerca: Analisi statica di programmi; Programmazione logica; Logica categoriale
venerdì ore 9:00-11:00 in presenza nel mio ufficio nella sede di viale della Pineta 4 oppure su Microsoft Teams sul team [DOCENTE] AMATO Gianluca, canale Ricevimento
05 Mar 2020
05 Mar 2020
SEDE DI CHIETI
Via dei Vestini,31
Centralino 0871.3551
SEDE DI PESCARA
Viale Pindaro,42
Centralino 085.45371
email: info@unich.it
PEC: ateneo@pec.unich.it
Partita IVA 01335970693