Insegnamenti / Teachings

A.A. 2019/2020

• [ST1184] COMPILERS (COMPUTER SCIENCE)
• [ST0853] LABORATORIO, incluso nell'attività didattica ALGORITIMI E STRUTTURE DATI (INFORMATICA)
• [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)
• [DOCSM009] ADVANCED TECHNIQUES FOR SYSTEM VERIFICATION (COMPUTER SCIENCE AND MATHEMATICS)

A.A. 2018/2019

• [ST0989] FORMAL LANGUAGES AND COMPILERS (COMPUTER SCIENCE)
• [ST1184] COMPILERS (COMPUTER SCIENCE)
• [ST0853] ALGORITMI E STRUTTURE DATI: LABORATORIO, incluso nell'attività didattica ALGORITIMI E STRUTTURE DATI (INFORMATICA)
• [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)

A.A. 2017/2018

• [ST1117] REAL-TIME AND PROBABILISTIC SYSTEMS VERIFICATION (COMPUTER SCIENCE)
• [ST1113] REATCIVE SYSTEMS VERIFICATION, incluso nell'attività didattica REACTIVE SYSTEMS VERIFICATION (COMPUTER SCIENCE)
• [ST1113] REATCIVE SYSTEMS VERIFICATION, incluso nell'attività didattica REACTIVE SYSTEMS VERIFICATION (INFORMATICA)
• [ST0989] FORMAL LANGUAGES AND COMPILERS (COMPUTER SCIENCE)
• [ST0989] FORMAL LANGUAGES AND COMPILERS (INFORMATICA)