*001137555
*00520230401182416.0
*007cr
*007ta
*008131101s1999    no#           000 0 eng d
*00901138cam a2200277 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999914203734702201
*035  $a(NO-LaBS)14632520(bibid)
*035  $a(NO-TrBIB)102154597
*035  $a(NO-TrBIB)991420373
*035  $a991420373-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*1001 $aHaveraaen, Magne$d1958-$0(NO-TrBIB)90203408$_35724700
*24510$aFormal software engineering for computational modeling$cMagne Haveraaen, Helmer Andre Friis, Tor Arne Johansen
*260  $aBergen$bDepartment of Informatics, University of Bergen$c1999
*300  $a27 s.$bill.
*4901 $aReports in informatics$vno. 173
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2010-08-20
*7001 $aFriis, Helmer André$0(NO-TrBIB)90272083$_35724800
*7001 $aJohansen, Tor Arne$d1958-$0(NO-TrBIB)98028864$_22270200
*830 0$aReports in informatics (trykt utg.)$x0333-3590$vno. 173$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2010082008093$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999914203734702202$b2021-11-14T19:51:30Z$z999914203734702202
^