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