000			01025pam a2200229 a 4500
999			_c4905 _d4905
001			1126049
005			20200619103512.0
008			940831s1995 nyua b 001 0 eng
020			_a0716782847
040			_cDLC
082	0	0	_a004 _220 _bA2869
100	1		_aAho, Alfred V.
245	1	0	_aFoundations of computer science / _cAlfred V. Aho, Jeffrey D. Ullman.
250			_aC ed.
260			_aIslamabad : _bNBF, _c1995
300			_axiii, 786 p. : _bill. ; _c26 cm.
650		0	_aComputer science.
650		0	_aC (Computer program language)
700	1		_aUllman, Jeffrey D.,
942			_cBK
505	0		_athe 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