Computation Engineering Applied Automata Theory and Logic - Gopalakrishnan, Ganesh; SpringerLink (Online service) (Boston, MA : Springer US, 2006)
Keywords: Computer science; Information theory; Systems engineering; Computer Science; Theory of Computation; Circuits and Systems; Mathematical Logic and Formal Languages; Electronic and Computer Engineering