000 00388nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a3540566945
082 _a621.38195 B825
100 _aBRAUER,W
245 0 _aLIVE DATA STRUCTURES IN LOGIC PROGRAMS: DERIVATION BY MEANS OF ABSTRACT INTERPRE
260 _aBERLIN
_bSpringer
_c1993
300 _aVIII+220p.,24X15Cms.
942 _cBK
_2DDC
999 _c26352
_d26352