TY  - BOOK
AU  - Gopalakrishnan, Ganesh
TI  - Computation engineering : applied automata theory and logic
SN  - 0387244182
U1  - 004.0151 
PY  - 2006///
CY  - New York
PB  - Springer Science+Business Media Inc.
KW  - Computer Science -- Mathematics
KW  - Computer Logic
KW  - Machine Theory
ER  -