| | 114 | === 17. 14 novembre 2019, Aula 301, 14:30-16:30 (Mattia Monga) |
| | 115 | |
| | 116 | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo04.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo04-handout.pdf Slide (versione per la stampa)] |
| | 117 | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo16.webm Registrazione (124MB WebM)] |
| | 118 | * [https://doi.org/10.1145/143062.143098 D. Rosenblum, Towards a method of programming with assertions] ('''lettura obbligatoria''') Per accedere alla ''digital library ACM'' da fuori unimi, attivare il proxy [https://users.unimi.it/banchedati/proxybib.pac proxybib.pac] |
| | 119 | |
| | 120 | |
| | 121 | |
| | 122 | |
