000			00997 a2200193 4500
003			Nust
005			20221013172539.0
020			_a0669400009
040			_cNust
082			_a005.74,DAL
100			_aDale, Nell _960989
245			_aAbstract : _bspecifications, implementations and applications / _cNell Dale
260			_aToronto _bD. C. Heath _c1996
300			_axxiii, 624 p.:
505			_aAbstract Specification Techniques (Page-1), Analysis of Algorithms (Page-35), Towards More Generality in Algorithm (Page-63), Unstructured Data Types (Page-97), Semi-Structured Data Types (Page-151),Structured Linear Data types (Page-193), Binary Trees (Page-251), Binary Search Trees (Page-313), Multi Way Search Trees (Page-377), Directed Graphs or Digraphs (Page-439), Undirected Graphs and Complexity (Page-491), Generalized Lists (Page-533), Memory Management (Page-581).
650			_aAbstracts-Computer science _9100233
700			_aWalker, Henry M. _9100234
942			_cBK _2ddc _k005.74,DAL
999			_c175517 _d175517