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.