*001274915
*00520171205202934.0
*007ta
*008110309s2008    no#           000 0 eng
*00901522cam a2200361 c 4500
*015  $a0814819$2nbf
*019  $bl
*020  $qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990807161054702201
*035  $a(NO-LaBS)14293767(bibid)
*035  $a(NO-TrBIB)080716105
*035  $a080716105-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a004.011$qNO-OsNB$25/nor
*084  $aD.2.2$2acmccs
*1001 $aRefsdal, Atle$d1969-$0(NO-TrBIB)1038549$_53796300
*24510$aSpecifying computer systems with probabilistic sequence diagrams$cAtle Refsdal
*260  $a[Oslo$b[Institute of informatics], Faculty of Mathematics and Natural Sciences, University of Oslo$c2008
*300  $a1 b. (flere pag.)$bill.
*4901 $aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo$vnr. 724
*500  $aDelvis opptrykk av artikler
*502  $aAvhandling (ph.d.) - Universitetet i Oslo, 2008
*650 7$aFlytdiagrammer$0(NO-TrBIB)REAL006918$2noubomn$_203903400
*650 7$aTilstandsdiagrammer$0(NO-TrBIB)REAL001106$2noubomn$_203903500
*650 7$aUnified Modeling Language$0(NO-TrBIB)REAL002676$2noubomn$_193210100
*7760 $tSpecifying computer systems with probabilistic sequence diagrams$w990806305374702201
*830 0$aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (trykt utg.)$x1501-7710$vnr. 724$w999916000704702201$_204427900
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:990807161054702202$b2021-11-14T20:06:38Z$z990807161054702202
^