00317nam a2200133Ia 4500008004100000041000800041082001600049100001300065245001900078260002700097300000800124365001600132700003500148230718s9999    xx            000 0 und d  aeng  a005.75bHAR  aHarel D.  aDynamics Logic  bPrentice Hall Of India  a459  cRs.b295.00  aHarel D.; Kozen D. & Tiuryn J.