BRAUER,W

LIVE DATA STRUCTURES IN LOGIC PROGRAMS: DERIVATION BY MEANS OF ABSTRACT INTERPRE - BERLIN Springer 1993 - VIII+220p.,24X15Cms.

3540566945

621.38195 B825