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.
Situazione Voti
Globale