00907    a2200169   4500003000500000005001700005020001500022040000900037082001500046100001500061245007800076260003100154300001900185505048100204650003100685700002100716Nust20221013172539.0  a0669400009  cNust  a005.74,DAL  aDale, Nell  aAbstract :bspecifications, implementations and applications /cNell Dale  aTorontobD. C. Heathc1996  axxiii, 624 p.:  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).  aAbstracts-Computer science  aWalker, Henry M.