TY - BOOK AU - Mishra, K L P; Chandrasekaran, N TI - Theory of computer science: Automata, languages and computation SN - 1623 U1 - 005.131 MIS-T2 PB - Prentice - Hall of India, Pvt. ltd., New Delhi KW - Symbolic logic; Automata, Formal languages applied to programming langu ER -