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