LEADER 01384nam2-2200397---450- 001 990000353890203316 005 20091113102957.0 035 $a0035389 035 $aUSA010035389 035 $a(ALEPH)000035389USA01 035 $a0035389 100 $a20010309d1981----km-y0itay0103----ba 101 $aeng 102 $aUS 105 $a||||||||001yy 200 1 $a<> basis for theoretical computer science$fby Michael A. Arbib, A.J. Kfoury, Robert N. Moll 210 $aNew York$cSpringer Verlag$dc1981 215 $aVIII, 220 p.$cill.$d23 cm 225 2$aTexts and monographs in computer science$v1$iThe AKM series in theoretical computer science 410 1$10010022871$12001$aTexts and monographs in computer science$iThe AKM series in theoretical computer science$v1 606 0$aElaborazione elettronica dei dati 676 $a001.64 700 1$aARBIB,$bMichael A.$013645 701 1$aKFOURY,$bA.J.$0543292 701 1$aMOLL,$bRobert N.$054062 801 0$aIT$bsalbc$gISBD 912 $a990000353890203316 951 $a001.6 TMC 1$b7687/CBS$c001.6$d00105360 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20010309$lUSA01$h1123 979 $c20020403$lUSA01$h1643 979 $aPATRY$b90$c20040406$lUSA01$h1625 979 $aRSIAV6$b90$c20091113$lUSA01$h1029 996 $aBasis for theoretical computer science$9878260 997 $aUNISA