Changes between Version 37 and Version 38 of WikiStart


Ignore:
Timestamp:
Nov 23, 2016, 6:43:35 PM (7 years ago)
Author:
Mattia Monga
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v37 v38  
    155155  * [https://github.com/mapio/docker-tutorial Docker Tutorial]
    156156
     157=== 17. 23 novembre 2016 (Aula Beta) ===
     158
     159  ==== Asserzioni
     160
     161  * [http://homes.di.unimi.it/~sisop/lucidi1617/svigruppo14.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1617/svigruppo14-handout.pdf Slide (versione per la stampa)]
     162  * [https://doi.org/10.1145/143062.143098 D. Rosenblum, Towards a method of programming with assertions] Per accedere alla ''digital library ACM'' da fuori unimi, attivare il [http://www.sba.unimi.it/BibliotecaDigitale/2484.html#c2495 proxy]
     163
     164
     165
     166
    157167== Materiali anni precedenti ==
    158168