| 000 | 00599 a2200181 4500 | ||
|---|---|---|---|
| 035 | _aII 28169 | ||
| 090 |
_c7687 _d7687 |
||
| 100 | _aHorsch, A | ||
| 245 |
_aThe Munich Project CIP _bVolume II: the program transformation system CIP-S patr. I: formal specification _cA. Horsch, B. Moller, H. Partsch, O. Paukner, P. Pepper |
||
| 260 |
_aMunchen _bTechnische Universitat Munchen _c1985 |
||
| 300 |
_a208 p _bfig _c20 cm |
||
| 440 |
_aTUM _nI8509 |
||
| 500 | _aLucrarea este multigrafiata | ||
| 500 | _aContine bibliogr. si index | ||
| 700 | _aMoller, B | ||
| 700 | _aPartsch, H | ||
| 942 |
_aIMAR _cCART |
||
| 999 |
_c7542 _d7542 |
||