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 |
