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"

Predicting the future : proof-rules for exceptions in concurrent structures

Sigurd Meldal
Bok · Engelsk · 1986

Detaljer


Utgitt	[Oslo] , [1986]
Omfang	27 bl. : ill.
Emner	communicating sequential processes
Dewey	004.0151
ISBN	8273680010

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