Computation engineering : applied automata theory and logic - Gopalakrishnan, Ganesh (New York, NY : Springer, 2006)
Includes index
Keywords: Computer science -- Mathematics; Computer logic; Machine theory