TY  - BOOK
ED  - NATO Advanced Study Institute (1981 : Bonas, France)
ED  - Biermann, Alan W., 1939-
ED  - Guiho, Gerard, 1945-
TI  - Computer program synthesis methodologies: proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981
PY  - 1983///
CY  - Dordrecht
PB  - D. Reidel Publishing Company
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
N1  - 'Published in cooperation with NATO Scientific Affairs Division.'; Includes indexes
ER  -