Corso di Metodi Formali dell'Informatica - a.a. 1999/00

I voti relativi alla prova scritta sulla prima e seconda parte sono in quindicesimi

E' possibile conservare il voto su ciascuna delle 2 parti scritte evitando di ridarla la prossima volta.

Parte1: Scritto su Semantica Operazionale e Denotazionale
Parte2: Scritto su Specifiche, Riscrittura, Logica Combinatoria, CCS
Voto finale: (*) indica che il voto e' stato registrato.
Chi ha fatto tutti i compitini non prendendo mai meno di 18/30, puo' farsi registrare il voto senza esame orale.