000 | 00624n a2200217ua 4500 | ||
---|---|---|---|
003 | OSt | ||
020 | _a0471095850 | ||
040 | _cIIT Kanpur | ||
041 | _aeng | ||
082 |
_a519.4 _bB731t |
||
100 | _aBrainerd, Walter S. | ||
245 | 0 |
_aTheory of computation _cWalter S. Brainerd and Lawrence H. Landweber |
|
260 |
_aNew York _bJohn Wiley _c1974 |
||
300 | _axxi,336p | ||
500 | _aIncludes bibliographical references and index | ||
650 | _aSequential machine theory | ||
650 | _aRecursive functions | ||
650 | _aProgramming languages (Electronic computers) | ||
700 | _aLandweber, Lawrence H. | ||
942 | _cBK | ||
999 |
_c461976 _d461976 |