webpage updated 2/29/2012
Orig. Ed 1987, Reprint Ed. 1993
This book is based on the belief that theoretical computer science should be taught as the basis of applied sciences. Thus, much emphasis is devoted to illustrate how theoretical concepts can be exploited in practice. Besides traditional fields of the theory of computation, such as automata and form languages, the book also covers formal semantics and formal analysis of computer programs, which are considered by the authors as basic for the computer scientist, as are automata and computation theory.