Fundations of computer science /
Alfred v .Aho and Jeffery D Ullman
- C ed
- Islamabad National Book Foundation
- xiii,786p
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),