000 01329nam a2200337 a 4500
005 20250913113821.0
008 981208s1983 ne 00 eng d
010 _a82-16704
035 _a82434
039 9 _y08-18-1999
_zload
090 _aQA76.6.N378 1981[00008033384]
090 _aQA76.6
110 2 _aNATO Advanced Study Institute (1981 : Bonas, France)
245 1 0 _aComputer program synthesis methodologies
_bproceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981
_cedited by Alan W. Biermann and Gerard Guiho
260 _aDordrecht
_bD. Reidel Publishing Company
_c1983
300 _aix, 374p. ill. 24cm
440 _aNATO advanced study institutes series. Series C, Mathematical and physical sciences
_vv.95
500 _a'Published in cooperation with NATO Scientific Affairs Division.'
504 _aIncludes indexes
590 _a1
650 _aElectronic digital computers
_xProgramming
_xCongresses
710 1 _aBiermann, Alan W., 1939-
710 1 _aGuiho, Gerard, 1945-
907 _a.b10422511
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kQA76.6.N378 1981[00008033384]
914 _avtls000043992
991 _aFak Sains Matematik
998 _at
_b1999-05-08
_cm
_da
_feng
_gne
_y0
_z.b10422511
999 _c44212
_d44212