informaticaperlescienzeumane:appelli.2010.gen.feb.risultati
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in is-a:avvisi_is-a_e_is-b
- fotodisastri.pdf
- 30/09/2008 alle 14:18 (16 anni fa)
- 241.6 KB
- lucidipresentati.pdf
- 30/09/2008 alle 14:33 (16 anni fa)
- 65.5 KB
- rup.pdf
- 30/09/2008 alle 14:19 (16 anni fa)
- 49.6 KB
File
- Guarda
- Storia
- Data:
- 28/02/2013 alle 10:18 (12 anni fa)
- Nome File:
- 01-model-checking-overview.pdf
- Dimensione:
- 46KB
- Riferimenti a:
- Metodi per la Verifica del Software (A.A. 2012/13)
informaticaperlescienzeumane/appelli.2010.gen.feb.risultati.txt · Ultima modifica: 07/05/2010 alle 15:25 (15 anni fa) da Massimo Coppola