TY  - BOOK
AU  - Fernandez,Maribel
TI  - Models of computation: an introduction to computability theory 
SN  - 9788132204480 (pbk)
U1  - 004 
PY  - 2012///, 2009c
CY  - New Delhi
PB  - Springer
KW  - Computable functions
N1  - Index included; Chapter 1: Introduction------------
Chapter 2: Automata and Turing Machines----------
Chapter 3: The Lambda Calculus---------
Chapter 4: Recursive Function---------
Chapter 5: Logic Based Models of computation----------
Chapter 6: Computing with Objects--------
Chapter 7: Interaction-Based Models of Computation---------
Chapter 8: Concurrency-----------
Chapter 9: Emergent Models of Computation--------
ER  -