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
|