TY - BOOK AU - Mills,Bruce TI - Theoretical introduction to programming SN - 1846280214 (pbk.) U1 - 005.1 PY - 2011/// CY - New Delhi PB - Springer KW - Computer programming N1 - Includes bibliographical references (p. 351-352) and index; 1. 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 ER -