Dynamic updates in the Creol framework
Morten Ofstad
Bok Engelsk 2005 Morten Baumann Ofstad
Utgitt | Oslo : M. Ofstad , 2005
|
---|---|
Omfang | x, 94 s. : fig.
|
Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2005
|
Emner | Creol
Databehandling Dynamisk programmering Formelle metoder informatikk dynamiske oppdateringer programmeringsspråk formelle metoder |