Insegnamenti / Teachings

A.A. 2016/2017

• [ST0250] LABORATORIO DI ALGORITMI E STRUTTURE DATI, incluso nell'attività didattica ALGORITMI E STRUTTURE DATI + LABORATORIO (INFORMATICA)
• [ST1117] REAL-TIME AND PROBABILISTIC SYSTEMS VERIFICATION (COMPUTER SCIENCE)
• [ST1113] REACTIVE SYSTEMS VERIFICATION (COMPUTER SCIENCE)
• [ST1113] REATCIVE SYSTEMS VERIFICATION, incluso nell'attività didattica REACTIVE SYSTEMS VERIFICATION (INFORMATICA)

A.A. 2015/2016

• [ST0857] PROJECT (INFORMATICA)
• [ST0250] ALGORITMI E STRUTTURE DATI + LABORATORIO (INFORMATICA)
• [ST0250] ALGORITMI E STRUTTURE DATI, incluso nell'attività didattica ALGORITMI E STRUTTURE DATI + LABORATORIO (INFORMATICA)
• [ST0949] PROGRAMMAZIONE WEB (INFORMATICA)
• [ST1046] MODEL CHECKING I (COMPUTER SCIENCE)
• [ST1046] MODEL CHECKING I (INFORMATICA)

A.A. 2014/2015

• [ST0857] PROJECT (INFORMATICA)
• [TFA072] DIDATTICA DEI SISTEMI MULTIMEDIALI E WEB, incluso nell'attività didattica MODELLI DELL'INFORMATICA, GESTIONE DELLE INFORMAZIONI E SISTEMI MULTIMEDIALI (TFA-A042 INFORMATICA)
• [ST0898] MODEL CHECKING (COMPUTER SCIENCE)
• [ST0898] MODEL CHECKING (INFORMATICA)
• [ST0904] MODELLING AND VERIFICATION (COMPUTER SCIENCE)
• [ST0904] MODELLING AND VERIFICATION (INFORMATICA)