Computer program synthesis methodologies : proceedngs of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Dordrecht, Holland ; Boston, U.S.A. :
D. Reidel Pub. Co. ;
[1983]
|
| Series: | NATO advanced study institutes series. Mathematical and physical sciences ;
v. 95. |
| Subjects: |
| Item Description: | "Published in cooperation with NATO Scientific Affairs Division." |
|---|---|
| Physical Description: | ix, 374 pages : illustrations ; 25 cm. |
| Bibliography: | Includes bibliographies and indexes. |
| ISBN: | 9027715041 |