TY  - BOOK
AU  - Manna, Zohar
TI  - Mathematical Theory of Computation / 
SN  - 9780486432380
U1  - 005.1 22
PY  - 2003///
CY  - New York : 
PB  - Dover Publications, 
KW  - Debugging in computer science
N1  - Include Index
ER  -