Form og mening : beskrivelse av fem formelle teorier
av Sverre Spurkland, Anne Salvesen, Brynjulv Hauksson
Bok Bokmål 1986
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | [Oslo] , 1986
|
|---|---|
| Omfang | 80 bl.
|
| Emner | Programmeringsspråk
Semantikk - Databehandling lambda-kalkyle algebraisk spesifikasjon predikatlogikk semantikk |
| Dewey | |
| ISBN | 8253902794
|
