Corso di Metodi Formali dell'Informatica - a.a. 1999/00
Esito Scritti - in 30esimi
- 11/01/2000 Semantica Operazionale
- 20/03/2000 Semantica Denotazionale
- 28/04/2000 Specifiche e Riscrittura
- 02/06/2000 CCS
| Cognome | Nome
| 11/01/2000 | 20/03/2000
| 28/04/2000 | 02/06/2000
|
|---|
| Anconelli | Barbara
| insuff |
|
|
| Balladore | Elena
| 29 | 23
| 20 | 25
|
| Bruzzone | Enrico
| 20 | 19
| 20 | 21
|
| Calabrese | Luca
| 22 | 19
| 18 | 17
|
| Carlini | Giada
| 19 | 25
| 24 | 18
|
| Cebrelli | Luca
| |
| 22
|
| Chiarabini | Luca
| 18 |
|
|
| Cordi' | Valentina
| 21 |
| 24 | 15
|
| Daddaoua | Nabil
| insuff |
| 20 | insuff
|
| Della Casa | Davide
| 18 |
| 24
|
| Demergasso | Daniela
| insuff |
|
|
| Fagorzi | Sonia
| 30 | 30
| 30 | 30 lode
|
| Gandolfo | Filippo
| insuff |
| 22 | 12
|
| Grillo | Alberto
| insuff |
|
|
| Mazza | Maurizio
| 25 | 21
| 28 | 24
|
| Melis | Mirko
| 29 | 21
| 26 | 17
|
| Micheletta | Alberto
| insuff |
|
|
| Montagna | Roberto
| 22 | 23
| 26 | 26
|
| Parodi | Elisabetta
| insuff |
| 19 | 23
|
| Pattoneri | Fabrizio
| 21 | 16
| 20 | 18
|
| Petta | Davide
| |
| 28 | 24
|
| Pini | Sonia
| 18 | 16
| 19 | 14
|
| Rossi | Fabio
| 19 | 20
| 17 | 18
|
| Ruffo | Massimo
| insuff |
|
|
| Siena | Alessandro
| insuff |
|
|
| Sobrero | Davide
| |
| 28 | 23
|
| Tosetto | Luigi
| 30 | 29
| 30 | 29
|
| Vallarino | Paola
| 18 | 15
| 22 | 18
|
| Viacava | Cristiano
| 16 |
| insuff
|
| Vicidomini | Giuseppe
| 20 |
|
|
"insuff" vuol dire meno di 15/30.