000 | 00715nam a22001817a 4500 | ||
---|---|---|---|
008 | 230327b |||||||| |||| 00| 0 eng d | ||
020 | _a90-277-1504-1 | ||
040 |
_aNational Science Library _cNational Science Library |
||
080 |
_aD 681.3.06(082.2) _bM3 |
||
245 |
_aComputer program synthesis methodologies _c/D. Reidel Publishing Company, Proceedings of the NATO advanced study institute held at Bonas, France, 28 September - 10 October 1981 |
||
260 |
_aDordrecht: _bD. Reidel Publishing Company, _c1983 |
||
300 | _aix, 374p. | ||
650 | _aComputer program synthesis | ||
653 | _aComputer methodologies | ||
700 | _aBiermann, Alan W (Ed.) | ||
700 | _aGuiho, Gerard (Ed.) | ||
942 |
_2udc _cPR |
||
999 |
_c14763 _d14763 |