*001670486
*00520160622164431.0
*007ta
*008090420s1997    no#           000 0 eng
*00901026cam a2200301 c 4500
*015  $a9810923$2nbf
*019  $bl
*020  $a8273681661$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999721275004702201
*035  $a(NO-LaBS)14988394(bibid)
*035  $a(NO-TrBIB)97212750x
*035  $a97212750x-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a005.3$qNO-OsNB$24/nor
*1001 $aHaugen, Øystein$0(NO-TrBIB)90293613$_28381700
*24510$aPractitioners' verification of SDL systems$cby Øystein Haugen
*260  $a[Oslo]$bUniversity of Oslo, Department of Informatics$c1997
*300  $a290 s.$bill.$c30 cm
*4901 $aDr Scient thesis / University of Oslo, Department of Informatics$v1
*502  $aAvhandling (dr. scient.) - Universitetet i Oslo, 1997
*653  $adoktoravhandlinger$ainformatikk$asystem$aspråk$_95829200
*830 0$aDr scient thesis (trykt utg.)$x0809-3857$v1$w999720551774702201$_14213000
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999721275004702202$b2021-11-14T20:40:26Z$z999721275004702202
^