Changes between Version 39 and Version 40 of WikiStart


Ignore:
Timestamp:
Nov 24, 2016, 6:37:41 PM (8 years ago)
Author:
Mattia Monga
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v39 v40  
    162162  * [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 [http://www.sba.unimi.it/BibliotecaDigitale/2484.html#c2495 proxy]
    163163
     164=== 18. 24 novembre 2016 (Aula Alfa) ===
    164165
     166  ==== Asserzioni
     167
     168  * [http://homes.di.unimi.it/~sisop/lucidi1617/svigruppo15.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1617/svigruppo15-handout.pdf Slide (versione per la stampa)]
     169  * [https://www.eiffel.org/downloads Eiffel Studio (Versione GPL)]
    165170
    166171