cam a22 u 4500 128670509 CHVBK 20200921121655.0 880212s1982 gw | 00 |eng|d TUM-I-8211 (OCoLC)256037600 (NEBIS)000275106 ETH-BIB ger ETH-BIB ETHICS-ISBD CIP-S an instrument for program transformation and rule generation by B.Brass a.o München 1982 164 p. fig.; tab. TU Institut für Informatik, 8211 8211 (NEBIS)000010372 126626618 THEORIE DER PROGRAMMIERUNG ger (ETHUDK)000013697 ethudk u THEORIE DER PROGRAMMIERUNG ger 004*04*02 nebis E1 u THÉORIE DE LA PROGRAMMATION fre 004*04*02 nebis E1 u THEORY OF PROGRAMMING eng 004*04*02 nebis E1 Brass B. BK020000 XK020000 XK020000 NEBIS E01 E01 MG P 714535: 8211 NEBIS 490 -- TU Institut für Informatik, 8211 8211 (NEBIS)000010372 126626618 NEBIS 700 1- Brass B.