magistraleinformatica:psc:2017-18:start
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in magistraleinformatica:mod:2014-15
- testo-2016-01-20.pdf
- 25/01/2016 alle 09:10 (9 anni fa)
- 131.2 KB
- testo-2016-02-10.pdf
- 10/02/2016 alle 16:16 (9 anni fa)
- 108.7 KB
File
- Guarda
- Storia
- Data:
- 28/02/2013 alle 10:18 (12 anni fa)
- Nome File:
- 05-ts-semantics-of-program-graphs.pdf
- Dimensione:
- 28KB
- Riferimenti a:
- Metodi per la Verifica del Software (A.A. 2012/13)
magistraleinformatica/psc/2017-18/start.txt · Ultima modifica: 13/02/2019 alle 15:22 (6 anni fa) da Roberto Bruni