TY - BOOK AU - Gopalakrishnan, Ganesh TI - Computation engineering: applied automata theory and logic SN - 9788184891270 PY - 2009/// CY - New York, NY PB - Springer KW - Computer science KW - Mathematics KW - Computer logic KW - Machine theory N1 - Includes bibliographical references (p. [453]-460) and index UR - http://www.loc.gov/catdir/enhancements/fy0663/2006920602-d.html ER -