*001996832
*00520190130110140.0
*007ta
*008131001s2012    xx#           000 u eng
*00900823caa a2200241 c 4500
*019  $bk
*035  $a(EXLNZ-47BIBSYS_NETWORK)991327598704702201
*035  $a(NO-TrBIB)13275987x
*035  $a13275987x-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cde
*1001 $aBrændeland, Gyrd$d1969-$0(NO-TrBIB)43793$_24976500
*24512$aA denotational model for component-based risk analysis$cGyrd Brændeland, Atle Refsdal, and Ketil Stølen
*260  $c2012
*300  $aS. [12]-41$bfig.
*7001 $aRefsdal, Atle,$d1969-$0(NO-TrBIB)1038549$_123983000
*7001 $aStølen, Ketil$0(NO-TrBIB)90837777$_10618600
*7730 $tFormal aspects of component software$dHeidelberg : Springer, cop. 2012$z9783642357428$w991305496904702201
*901  $a90
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:991327598704702202$b2021-10-31T03:12:43Z$z991327598704702202
^