Alan P Parkes

Introduction to lanaguages, machines and logic : computable lanaguages, abstract machines and formal logic - Springer, London c2002 - xi,351p

1-85233-464-9


Computer Science

511.3 Par