Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho.
| Author/creator | NATO Advanced Study Institute |
| Other author | Biermann, Alan W., 1939- |
| Other author | Guiho, Gérard, 1945- |
| Format | Book |
| Publication Info | Dordrecht, Holland ; Boston, U.S.A. : D. Reidel Pub. Co. ; Hingham, Mass. : Distributed in the U.S.A. and Canada by Kluwer Boston Inc., ©1983. |
| Description | ix, 374 pages : illustrations ; 25 cm. |
| Subjects |
| Series | NATO advanced study institutes series Series C, Mathematical and physical sciences ; v. 95 NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 95. ^A470357 |
| General note | "Published in cooperation with NATO Scientific Affairs Division." |
| Bibliography note | Includes bibliographies and indexes. |
| LCCN | 82016704 |
| ISBN | 9027715041 |