Theoretical Foundations of Computer Science
Published on 15. May 1987
Book
Hardback
512 pages
978-0-471-83834-0 (ISBN)
Description
This new text discusses the basic concepts of theoretical computer science (formal languages, automata theory and the theory of computability) and shows their application to current programming practice. It emphasizes the practical use of theory in current, everyday programming practice and covers classical topics, semi-classical topics and less classical topics. All the basic topics of theoretical computer science are covered at an advanced undergraduate level and topics for more advanced study are explicitly marked.
More details
Language
English
Place of publication
New York
United States
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Illustrations
Ill.
Dimensions
Height: 68 mm
Width: 40 mm
Weight
794 gr
ISBN-13
978-0-471-83834-0 (9780471838340)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Mathematical Background. Models for Computer Science: Automata and Grammars. Solvable and Unsolvable Problems. The Complexity of Computing. Formal Semantics. Proving Program Properties. Nondetermination and Parallel Computation.