informaticaperlescienzeumane:appello.2009.07.10.risultati
Gestore Media
Categorie
Scegli il namespace
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/appello.2009.07.10.risultati.txt · Ultima modifica: 27/08/2009 alle 10:44 (15 anni fa) da Mirco Nanni