00461nam a2200181Ia 4500003000400000005001700004008004100021040002000062041000800082082001800090100002500108245003500133250001200168264004300180300001700223650002100240650001800261AIT20260512122532.0221231s9999    xx            000 0 und d  aATRIAbengcAIT  aeng  a005.1 DAV222  aHarel, DavideAuthor 0aAlgorithmics /cby David Harel  a2nd ed.34aNew Delhi :bAddison -Wesley,c©2000.  aXIII, 476 p.  aComputer Science  aAlgorithmics