*001129224
*00520171205153315.0
*007ta
*008130917s2002 no# 000 0 eng
*00901544cam a2200361 c 4500
*015 $a0216065$2nbf
*019 $bl
*020 $qh.
*035 $a(EXLNZ-47BIBSYS_NETWORK)990220847894702201
*035 $a(NO-LaBS)13429363(bibid)
*035 $a(NO-TrBIB)022084789
*035 $a022084789-47bibsys_network
*040 $aNO-OsNB$bnob$ekatreg
*042 $anorbibl
*044 $cno
*08274$a004.65$qNO-OsNB$24/nor
*084 $aC.2.4$2acmccs
*084 $aD.2.1$2acmccs
*1001 $aJohnsen, Einar Broch$d1970-$0(NO-TrBIB)90812108$_32554100
*24510$aFormal viewpoint specification of open distributed systems$cEinar Broch Johnsen
*260 $a[Oslo]$bFaculty of Mathematics and Natural Sciences, University of Oslo$bUnipub$c2002
*300 $aXII, 198 s.$bfig.
*4901 $aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo$vno. 232
*502 $aAvhandling (dr. scient.) - Universitetet i Oslo, 2002
*650 7$aDistribuerte systemer$0(NO-TrBIB)REAL003034$2noubomn$_192651000
*650 7$aSpesifikasjon$0(NO-TrBIB)REAL004339$2noubomn$_203855400
*650 7$aÅpne systemer$0(NO-TrBIB)REAL004938$2noubomn$_203855500
*653 $adoktoravhandlinger$acomputer$ascience$ainformatikk$aobservable$abehavior$aADAPT-FT$aopen$adistributed$asystem$aplatform$aspesifikasjon$as-språk$_34569800
*830 0$aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (trykt utg.)$x1501-7710$vno. 232$w999916000704702201$_204427900
*901 $a90
*913 $aNorbok$bNB
*917 $ad
*999 $aoai:nb.bibsys.no:990220847894702202$b2021-11-14T19:50:47Z$z990220847894702202
^