Foundations of Computer Science /
Alfred V. Aho, Jeffrey D. Ullman.
- New York : Computer Science Press, c1992.
- xiii, 765 p. : ill. ; 27 cm.
- Principles of computer science series .
Computer Science the Mechanization of Abstraction (Page-1), Iteration, Induction and Recursion (Page-23), The Running Time of Programs (Page-83), Data Models for the Computer (Page-143), The Tree Data Model (Page-207), The List Data Model (Page-273), The Set Data Model (Page-323), The Relation Data Model (Page-387), The Graph Data Model (Page-435), Patterns, Automata and Regular Expression (Page-509), Recursive Description of Patterns (Page-571), Propositional Logic (Page-619), Using Logic to Design Computer Components (Page-675), Predicate Logic (Page-711).