Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

 
 
 
 
Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
Author: Martin Davis - Ron Sigal - Elaine J. Weyuker
ISBN 13: 9780122063824
ISBN 10: 122063821
Edition: 2
Publisher: Morgan Kaufmann
Publication Date: 1994-02-17
Format: Hardcover
Pages: 609
List Price: $72.95
 
 

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.

Booknews

A rigorous but readable introduction to some of the central topics in theoretical computer science, including computability theory, formal languages, logic and automated deduction, computational complexity including NP-completeness, and programming language semantics. This second edition features more than triple the exercises of the previous edition and a new discussion of computability theory; a section on the denotational and operational semantics of recursion equations has been added. Annotation c. Book News, Inc., Portland, OR (booknews.com)