magistraleinformatica:psc:start
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in matematica:asd:asd_21
- wiki-small.zip
- 05/05/2022 alle 10:21 (2 anni fa)
- 15.6 MB
- wikipedia_20k.zip
- 05/05/2022 alle 10:21 (2 anni fa)
- 19.1 MB
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)
magistraleinformatica/psc/start.txt · Ultima modifica: 22/05/2024 alle 08:58 (3 mesi fa) da Roberto Bruni