139668
9780122063824
This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.Davis, Martin D. is the author of 'Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science', published 1994 under ISBN 9780122063824 and ISBN 0122063821.
[read more]