*001173395
*00520250613104344.0
*007ta
*008110831s2005    gw            000 u eng d
*00902164cam a2200421 c 4500
*019  $bl
*020  $a3540249362$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990607880624702201
*035  $a(NO-LaBS)14696321(bibid)
*035  $a(NO-TrBIB)060788062
*035  $a060788062-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004.41
*24500$aFormal methods in software and systems modeling :$bessays dedicated to Hartmut Ehrig on the occasion of his 60th birthday$cHans-Jörg Kreowski ... [et al.] (eds.)
*260  $aBerlin$bSpringer$cc2005
*300  $aXXVII, 411 s.$bill.
*4901 $aLecture notes in computer science$v3393
*500  $a"Bibliography of Hartmut Ehrig": s. [XI]-XXVII
*500  $aPå omslaget: Festschrift
*650 0$aComputer software$_13822900
*650 0$aComputer systems$xDesign$_40611200
*650 0$aFormal methods (Computer science)$_26915400
*650 7$aFormell spesifikasjon (Programutvikling)$2tekord$_205233700
*650 7$aProgramutvikling$2tekord$_186649300
*7001 $aEhrig, Hartmut$0(NO-TrBIB)90066861$_38979200
*7001 $aKreowski, H.-J.$0(NO-TrBIB)90555376$_40611300
*7760 $tFormal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday$w990704739784702201
*830 0$aLecture notes in computer science$v3393$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=3540249362
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540249368
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540249362
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540249368
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540249368
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/8/6/9783540249368.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/2/6/3540249362.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/8/6/9783540249368.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:990607880624702202$b2021-11-14T19:54:11Z$z990607880624702202
^