*001159650
*00520250613173227.0
*007ta
*008150407s1993    xxu           000 u eng d
*00901378cam a2200313 c 4500
*019  $bl
*020  $a0201548860
*035  $a(EXLNZ-47BIBSYS_NETWORK)999312105694702201
*035  $a(NO-LaBS)14151873(bibid)
*035  $a(NO-TrBIB)931210569
*035  $a931210569-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a519.68
*084  $aD.0$2acmccs
*1001 $aManna, Zohar$0(NO-TrBIB)90282102$_24522800
*24514$aThe deductive foundations of computer programming :$ba one-volume version of "The logical basis for computer programming"$cZohar Manna, Richard Waldinger
*260  $aReading, Mass.$bAddison-Wesley$cc1993
*300  $aXIV, 717 s.
*650 0$aElectronic digital computers$xProgramming$_10007400
*650 0$aLogic, Symbolic and mathematical$_22658200
*650 7$aProgramutvikling$2tekord$_186649300
*653  $aprogrammering$ateori$alogikk$aprogramutvikling$amatematisk$adatabehandling$_38802700
*7001 $aWaldinger, Richard$0(NO-TrBIB)90282103$_38802800
*70012$aManna, Zohar$0(NO-TrBIB)90282102$tLogical basis for computer programming$_24522800
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9780201548860
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/0/6/9780201548860.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/0/6/9780201548860.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:999312105694702202$b2021-11-14T19:53:09Z$z999312105694702202
^