Verifikasjon ved hjelp av PROLOG
av Terje Sivertsen
Bok Bokmål 1987
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | Oslo , 1987
|
|---|---|
| Omfang | iii, 101 s.
|
| Opplysninger | Hovedoppgave i informatikk - Universitetet i Oslo, 1987
|
| Emner | Databehandling
Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 PROLOG Vis mer... Predikatlogikk - Databehandling
Databehandling((NO-TrBIB)REAL013409) Informatikk((NO-TrBIB)REAL000964) prolog programmeringsspråk algebraisk spesifikasjon datatyper predikatlogikk |
| Dewey | |
| ISBN | 8253902972
|
