Foto Alberto Pettorossi

Alberto Pettorossi

Socialnetwork Facebook, Linkedin
Attività Principali Informatica teorica. Trasformazione dei programmi. Sviluppo automatico del software. Semantica dei linguaggi di programmazione. Programmazione funzionale, logica e concorrente.
Ricevimento Studenti Dopo le lezioni e per appuntamento. After the lectures and by appointment.
Indirizzo E-mail Vedi Opzione in alto a destra
Corsi Insegnati da Alberto Pettorossi nel Database 
(#19):
Nome del Corso Facoltà Anno
0 Automi E Linguaggi Ingegneria 2016/2017
0 Informatica Teorica Ingegneria 2016/2017
0 Automatic Software Verification Ingegneria 2016/2017
0 Informatica Teorica Ingegneria 2015/2016
0 Automi E Linguaggi Ingegneria 2015/2016
0 P Informatica Teorica Ingegneria 2014/2015
3 P Automi E Linguaggi Ingegneria 2014/2015
0 Informatica Teorica Ingegneria 2013/2014
0 Automi E Linguaggi Ingegneria 2013/2014