Gopalakrishnan, Ganesh

Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan - New York, NY : Springer, c2006 - xxxv, 471 p. : ill. ; 25 cm.

Includes index

9780387244181


Computer science--Mathematics
Computer logic
Machine theory

004.0151