TY  - BOOK
T1  - Mathematical theory of computation
A1  - Manna, Zohar
LA  - English
PP  - New York
PB  - McGraw-Hill
YR  - 1974
UL  - https://tuklas.up.edu.ph/Record/UP-8027390931312345081
OP  - 448
CN  - QA76.6 M35 1974
KW  - Computer programming.
KW  - Debugging in computer science.
ER  -