*001494704
*00520180702105119.0
*007ta
*008141212s2008    no a          00  0 eng
*00900937nam a2200277 c 4500
*015  $a0811483$2nbf
*019  $bl
*020  $a9788292461891$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990808976734702201
*035  $a(NO-LaBS)14721006(bibid)
*035  $a(NO-TrBIB)080897673
*035  $a080897673-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a005.8$qNO-OsNB$25/nor
*1001 $aMyrvang, Per Harald$d1971-$0(NO-TrBIB)39799$4aut$_62425900
*24510$aObol - the design and implementation of a security protocol programming language$cPer Harald Myrvang
*260  $a[Tromsø]$bUniversity of Tromsø, Faculty of Science, Department of Computer Science$c2008
*300  $aXVIII, 271 s.$bill.
*502  $aAvhandling (dr.scient.) - Universitetet i Tromsø, 2008
*7102 $aUniversitetet i Tromsø$0(NO-TrBIB)14068019$4dgg$_78393000
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:990808976734702202$b2021-11-14T20:25:13Z$z990808976734702202
^