*00182197
*00520230330175311.0
*007cr
*007ta
*008101014s1993    no#           000 0 eng
*00901291cam a2200337 c 4500
*019  $bl
*020  $a8273680924
*035  $a(EXLNZ-47BIBSYS_NETWORK)999328584654702201
*035  $a(NO-LaBS)14500079(bibid)
*035  $a(NO-TrBIB)09195326x
*035  $a(NO-TrBIB)932858465
*035  $a932858465-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a005.4$qNO-OsNB$24/nor
*1001 $aKrogdahl, Stein$_27511300
*24510$aVerifying a distributed list system :$ba case history$cStein Krogdahl and Olav Lysne
*260  $aOslo$bUniversity of Oslo, Department of Informatics$c1993
*300  $a38 s.
*4901 $aResearch report / University of Oslo, Department of Informatics$v182
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2007-12-07
*588  $aKatalogisert etter omslag
*653  $averifisering$aetterprøving$aliste-system$arewriting$alogic$_27511400
*7001 $aLysne, Olav$_27511500
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v182$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2007120700056$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:999328584654702202$b2021-11-14T19:46:57Z$z999328584654702202
^