*001735266
*00520171205182241.0
*007ta
*008150304s2005    no#           000 0 eng
*00901658cam a2200421 c 4500
*015  $a0514214$2nbf
*019  $bl
*020  $qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990504669504702201
*035  $a(NO-LaBS)14101209(bibid)
*035  $a(NO-TrBIB)05046695x
*035  $a05046695x-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a005.11$qNO-OsNB$25/nor
*084  $aC.2.4$2acmccs
*084  $aD.2.2$2acmccs
*084  $aF.3.2$2acmccs
*1000 $aDemissie Bediye Aredo$0(NO-TrBIB)98052859$_22321300
*24510$aFormal development of open distributed systems :$bintegration of UML and PVS$cby Demissie Bediye Aredo
*260  $a[Oslo]$bFaculty of Mathematics and Natural Sciences, University of Oslo$bUnipub$c2005
*300  $aVIII, 246 s.$bill.
*4901 $aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo$vno. 404
*4901 $aUnipubavhandlinger
*500  $aDelvis opptrykk av artikler
*502  $aAvhandling (dr. scient.) - Universitetet i Oslo, 2005
*650 7$aDistribuerte systemer$0(NO-TrBIB)REAL003034$2noubomn$_192651000
*650 7$aSemantisk analyse$0(NO-TrBIB)REAL009708$2noubomn$_204023000
*650 7$aSystemer$0(NO-TrBIB)REAL013191$2noubomn$_185546300
*650 7$aUnified Modeling Language$0(NO-TrBIB)REAL002676$2noubomn$_193210100
*653  $adistribuerte$asystemer$_101516300
*830 0$aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (trykt utg.)$x1501-7710$vno. 404$w999916000704702201$_204427900
*830 0$aUnipubavhandlinger$_11585900
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:990504669504702202$b2021-11-14T20:45:37Z$z990504669504702202
^