Portale Docenti

TESEI LUCA

Insegnamenti / Teachings

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 ALGORTIMI 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)
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)