| 000 | 01022cam a22002654a 4500 | ||
|---|---|---|---|
| 001 | 13938625 | ||
| 003 | OSt | ||
| 005 | 20191011101215.0 | ||
| 008 | 050422s20112006ii a g b 001 0 eng c | ||
| 010 | _a 2005926335 | ||
| 015 |
_aGBA551263 _2bnb |
||
| 016 | 7 |
_a013221489 _2Uk |
|
| 020 | _a1846280214 (pbk.) | ||
| 020 | _a9781846280214(pbk) | ||
| 040 |
_cNCL _dNIF2019 |
||
| 082 | 0 | 0 |
_a005.1 _bMIL-T 2011 6103 |
| 100 | 1 |
_aMills, Bruce, _d1962- |
|
| 245 | 1 |
_aTheoretical introduction to programming / _cby Bruce Mills. |
|
| 260 |
_aNew Delhi : _bSpringer, _c2011 |
||
| 300 |
_axi, 358 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. 351-352) and index. | ||
| 505 | _a1. The Abstract Rational Outlook 2. A Grab Bag of Computational Models 3. Some Formal Technology 4. Limitations on Exact Knowledge 5. Some Orthodox Languages 6. Arithmetic Computation 7. Repetitive Computation 8. Temporal Interaction 9. Container Datatypes | ||
| 650 | 0 | _aComputer programming. | |
| 942 |
_2ddc _cBK |
||
| 999 |
_c4310 _d4310 |
||