En abstrakt maskin for Creol i Maude
Marte Arnestad
Bok Bokmål 2003
Utgitt | Oslo : M. Arnestad , 2003
|
---|---|
Omfang | 123 s, 6 bl. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2003
|
Emner | Creol
Databehandling Distribuerte systemer Maude Vis mer... Objektorienterte systemer
Omskrivning : (NO-TrBIB)REAL004176 Omskrivningsteknikker Operasjonell semantikk hovedoppgaver informatikk interpret operasjonell semantikk |