*001981495
*00520250613135825.0
*007cr
*007ta
*008101024s1995    no            000 0 eng
*00901347cam a2200289 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999509695084702201
*035  $a(NO-LaBS)20629714(bibid)
*035  $a(NO-TrBIB)102334358
*035  $a(NO-TrBIB)950969508
*035  $a950969508-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*1001 $aDiesen, Dag$d1953-$0(NO-TrBIB)90293285$_41986300
*245  $aAppendix
*260  $a[Oslo]$bUniversity of Oslo, Department of Informatics$c1995
*300  $a1 b. (flere pag.)
*490  $aSpecifying algorithms using evolving algebra
*5050 $aAppendix A: Evolving algebra specification given to the interpret ; Appendix B: The evolving algebra interpret
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2010-10-07
*7400 $aEvolving algebra specification given to the interpret
*7404 $aThe evolving algebra interpret
*800  $aDiesen, Dag, 1953-$tSpecifying algorithms using evolving algebra$w(NO-LaBS)640986(tnr)$_172946200
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2010100709140$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:999509695084702202$b2021-11-14T21:13:13Z$z999509695084702202
^