Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho. (NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 95)
Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho.
(NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 95)
国立国会図書館請求記号
M15-A585
国立国会図書館書誌ID
000003105278
資料種別
図書
著者
NATO Advanced Study Institute (1981 : Bonas, France)ほか