000 00427 a2200157 4500
035 _a
090 _c14840
_d14840
100 _aGnatz, R
245 _aZur Konstruktion von Programmen Durch Transformation
_cR. Gnatz
260 _aMunchen
_bUniversitat Munchen
_c1977
300 _a22 p
_c20 cm
440 _aTUM-INFO
_n7741
500 _aContine bibliografie
500 _aLucrarea este multigrafiata
942 _aIMAR
_cCART
_sSN
999 _c14600
_d14600