English
ItalianoNavigazione di Sezione:
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
(#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 |