Metodi di verifica formale per il linguaggio ad oggetti Creol
| Contribuinte(s) |
Sangiorgi, Davide |
|---|---|
| Data(s) |
15/07/2010
|
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/1228/1/biondi_fabrizio_tesi.pdf Biondi, Fabrizio (2010) Metodi di verifica formale per il linguaggio ad oggetti Creol. [Laurea specialistica], Università di Bologna, Corso di Studio in Informatica [LS-DM509] <http://amslaurea.unibo.it/view/cds/CDS0245/> |
| Relação |
http://amslaurea.unibo.it/1228/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Palavras-Chave | #scuola :: 843899 :: Scienze #cds :: 0245 :: Informatica [LS-DM509] #sessione :: prima |
| Tipo |
PeerReviewed |
