The Munich Project CIP Volume II: the program transformation system CIP-S patr. I: formal specification
Horsch, A
The Munich Project CIP Volume II: the program transformation system CIP-S patr. I: formal specification A. Horsch, B. Moller, H. Partsch, O. Paukner, P. Pepper - Munchen Technische Universitat Munchen 1985 - 208 p fig 20 cm - TUM I8509 .
Lucrarea este multigrafiata Contine bibliogr. si index
The Munich Project CIP Volume II: the program transformation system CIP-S patr. I: formal specification A. Horsch, B. Moller, H. Partsch, O. Paukner, P. Pepper - Munchen Technische Universitat Munchen 1985 - 208 p fig 20 cm - TUM I8509 .
Lucrarea este multigrafiata Contine bibliogr. si index