Corso di METODI FORMALI E LOGICA PER L'INFORMATICA

Laurea Magistrale in Informatica
A.A. 2017/2018


Docenti: Giovanna D'Agostino, Marina Lenisa


Il corso è diviso in 2 moduli:
  1. Logica
  2. Metodi Formali

Modalità d'esame: