*001884730
*00520230323123622.0
*007ta
*008101015s2004    gw            010 0 eng
*00902423cam a2200529 c 4500
*015  $a0411700$2nbf
*019  $bl
*020  $a354021366X$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990410915404702201
*035  $a(NO-LaBS)13530477(bibid)
*035  $a(NO-TrBIB)04109154x
*035  $a04109154x-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cde
*080  $a004.42.045
*08274$a005.11$qNO-OsNB$25/nor
*084  $aD.1.5$2acmccs
*084  $aF.3.1$2acmccs
*24500$aFrom object-orientation to formal methods :$bessays in memory of Ole-Johan Dahl$cOlaf Owe, Stein Krogdahl, Tom Lyche (eds.)
*260  $aBerlin$bSpringer$ccop. 2004
*300  $aX, 388 s.$bill.
*4901 $aLecture notes in computer science$v2635
*500  $a"A bibliography of Ole-Johan Dahl", s. [8]-14
*500  $aPå omslaget: Festschrift
*60017$aDahl, Ole-Johan$d1931-2002$0(NO-TrBIB)90268340$2bare$_21004600
*650 7$aAlgebra$xDatabehandling$2tekord$_187546900
*650 7$aObjektorientert programmering$0(NO-TrBIB)REAL001244$2noubomn$_373639600
*650 7$aProgramverifikasjon$0(NO-TrBIB)REAL007699$2noubomn$_203966000
*650 7$aobjektorientert$aprogrammering$2tekord$_187483000
*7001 $aDahl, Ole-Johan$d1931-2002$0(NO-TrBIB)90268340$_21004600
*7001 $aKrogdahl, Stein$d1945-$0(NO-TrBIB)90280630$ered.$_42285100
*7001 $aLyche, Tom$0(NO-TrBIB)90193654$ered.$_41492800
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$ered.$_21004800
*7760 $tFrom object-orientation to formal methods : essays in memory of Ole-Johan Dahl$w990410922604702201
*830 0$aLecture notes in computer science$v2635$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540213666
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=354021366X
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540213666
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540213666
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/X/6/354021366X.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/6/6/9783540213666.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/X/6/354021366X.jpg$qimage/jpeg
*901  $a90
*913  $aNorbok$bNB
*960  $an$9LOCAL
*991  $avolumes
*997  $an$9LOCAL
*999  $aoai:nb.bibsys.no:990410915404702202$b2021-11-14T20:56:35Z$z990410915404702202
^