TY  - BOOK
AU  - Aho,Alfred V.
AU  - Ullman,Jeffrey D.
TI  - Foundations of computer science
SN  - 0716782847
U1  - 004 20
PY  - 1995///
CY  - Islamabad
PB  - NBF
KW  - Computer science
KW  - C (Computer program language)
N1  - the mechanization of abstraction;
iteration, induction and recursion;
the running time of programs;
combinatorics and probability;
the tree data model;
the list data model;
the set data model;
the relational data model;
the graph data model;
patterns, automata and regular expressions;
recursive description of patterns;
propositional logic;
using logic to design computer components;
predicate logic

ER  -