num_pages: 609
description: 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.
language: English
title: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
titlecomplete: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
genres: Nonfiction, Computer Science, Computation, Programming
ratings_count: 31
publisher: Morgan Kaufmann