Biblioteksøk

Vis søkeskjema

Søkeord Søk

Nullstill filter · Nytt søk

Velg sortering

Sortering

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år

Skjul avgrensninger

"Bilde mangler"

An approach to program reasoning based on a first order logic for partial functions

Olaf Owe
Bok · Engelsk · 1985

Detaljer


Utgitt	Oslo , 1985
Omfang	45 bl.
Dewey	511.3
ISBN	8290230885

Bibliotek som har denne

NTNU Universitetsbiblioteket: Gunnerusbiblioteket har 0 av 0 ledig (Oppdaterer)
NTNU Universitetsbiblioteket: Teknologibiblioteket har 0 av 0 ledig (Oppdaterer)
UiO : Universitetsbiblioteket: Realfagsbiblioteket. Informatikk har 0 av 0 ledig (Oppdaterer)

Nasjonalbiblioteket | Biblioteksøk

Kontaktinformasjon: bibsok@nb.no

Personvernerklæring
Tilgjengelighetserklæring
Informasjonskapsler

Ansvarlig redaktør: Aslak Sira Myhre

Nasjonalbiblioteket | Biblioteksøk
Kontaktinformasjon: bibsok@nb.no

Personvernerklæring
Tilgjengelighetserklæring
Informasjonskapsler

Ansvarlig redaktør: Aslak Sira Myhre

Logg inn
Om Biblioteksøk

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål