Computer program synthesis methodologies
Subtitle: proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981
By: edited by Alan W. Biermann and Gérard Guiho.
Contributors: Biermann, Alan W., 1939-; Guiho, Gerard, 1945-
Series: NATO advanced study institutes series.; v. 95
Publisher: D. Reidel Pub. Co.; Distributed in the U.S.A. and Canada by Kluwer Boston Inc.
Published: 1983
Place of publication: Dordrecht, Holland; Boston, U.S.A; Hingham, MA
Language: eng
Number of pages: 374
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographies and indexes.
"Published in cooperation with NATO Scientific Affairs Division."