Deductive systems
Inngår i serie: The logical basis for computer programming (2)
Manna, Zohar Bok Språk ikke angitt utgitt c1990
Manna, Zohar Bok Språk ikke angitt utgitt c1990
Ledig
- Automatlager: 1 av 1 ledig
*001604083 *00520250613175439.0 *007ta *008150116s1990 xxu 000 u und d *00900944cam a2200277 c 4500 *019 $bl *020 $a0201182610 *035 $a(EXLNZ-47BIBSYS_NETWORK)999002515904702201 *035 $a(NO-LaBS)15576504(bibid) *035 $a(NO-TrBIB)90025159x *035 $a90025159x-47bibsys_network *040 $aNO-TrBIB$bnob$ekatreg *080 $a510.6 *080 $a681.3.06 *084 $aF.4.1$2acmccs *1001 $aManna, Zohar$0(NO-TrBIB)90282102$_24522800 *245 $aDeductive systems *260 $aReading, Mass.$bAddison-Wesley$cc1990 *300 $axiii, 642 s. *490 $aThe logical basis for computer programming$v2 *650 7$aProgrammering (Databehandling)$2tekord$_186542400 *650 7$amatematisk$alogikk$2tekord$_187620500 *653 $aProgrammering$9nno$_11993400 *7001 $aWaldinger, Richard$0(NO-TrBIB)90282103$_38802800 *800 $aManna, Zohar$tThe logical basis for computer programming$v2$_172660800 *901 $a80 *999 $aoai:nb.bibsys.no:999920122900902202$b2021-11-14T20:35:01Z$z999920122900902202 ^