*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
^