TY - BOOK ID - 835139 TI - Computer program synthesis methodologies : proceedings of the NATO advanced study institute [on automatic program construction] held at Bonas, France, September 28-October 10, 1981 AU - Biermann, Alan W. AU - Guiho, GĂ©rard AU - NATO advanced study institute on automatic program construction : PY - 1983 VL - vol 95 SN - 9027715041 9400970218 9400970196 PB - Dordrecht : D. Reidel, DB - UniCat KW - Programming KW - Computer programming KW - -681.3*A0 KW - 681.3*I22 KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Congresses KW - General KW - Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - 681.3*A0 General KW - 681.3*A0 KW - Electronic digital computers programming KW - Computer programming. UR - https://www.unicat.be/uniCat?func=search&query=sysid:835139 AB - ER -