Metodi di verifica formale per il linguaggio ad oggetti Creol

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], Documento ad accesso riservato.
Documenti full-text disponibili:
[img] Documento PDF
Full-text accessibile solo agli utenti istituzionali dell'Ateneo
Download (720kB) | Contatta l'autore
Tipologia del documento
Tesi di laurea (Laurea specialistica)
Autore della tesi
Biondi, Fabrizio
Relatore della tesi
Sangiorgi, Davide
Scuola
Scienze
Corso di studio
Informatica [LS-DM509]
Ordinamento Cds
DM509
Data di discussione della Tesi
15 Luglio 2010
URI
https://amslaurea.unibo.it/id/eprint/1228

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^