*001125801
*00520220825081728.0
*007ta
*008150115s1992    xxu           000 0 eng d
*00901546cam a2200409 c 4500
*015  $a9206238$2nbf
*019  $bl
*020  $a0139510621$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999201217564702201
*035  $a(NO-LaBS)14824654(bibid)
*035  $a(NO-TrBIB)920121756
*035  $a920121756-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cus
*080  $a519.68
*080  $a519.683
*080  $a681.3.06
*08274$a005.1$qNO-OsNB$25/nor
*084  $aF.3.1$2acmccs
*1001 $aDahl, Ole-Johan$d1931-2002$0(NO-TrBIB)90268340$_21004600
*24510$aVerifiable programming$cOle-Johan Dahl
*260  $aNew York$bPrentice Hall$c1992
*300  $aIX, 269 s.
*4900 $aPrentice Hall international series in computer science
*650 0$aComputer programs$xVerification$_34066800
*650 7$aLogikk$0(NO-TrBIB)HUME00704$2humord$_280604400
*650 7$aProgrammering$0(NO-TrBIB)HUME04241$2humord$_189345800
*650 7$aProgramutvikling$2tekord$_186649300
*650 7$aProgramverifikasjon$0(NO-TrBIB)REAL007699$2noubomn$_203966000
*650 7$aVerifikasjon (Databehandling)$0(NO-TrBIB)HUME04283$2humord$_234862800
*653  $aprogrammering$ateori$averifikasjon$abrukere$aedb-programmer$averifisering$aprogramutvikling$ain217$_34067000
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=9780139510625
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=9780139510625
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9780139510625
*901  $a80
*913  $aNorbok$bNB
*960  $an$9LOCAL
*997  $an$9LOCAL
*999  $aoai:nb.bibsys.no:999201217564702202$b2021-11-14T19:50:28Z$z999201217564702202
^