Program specification and transformation
Subtitle: proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17April, 1986
By: edited by L.G.L. T. Meertens.
Contributors: Meertens, L. G. L. T.; IFIP Technical Committee 2, Programming.; IFIP Working Group 2.1 on Algol.
Publisher: North-Holland
Published: 1987
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 535
Subjects: Electronic digital computers -- Programming.
Notes: Includes bibliography and index.