Record:   Prev Next
作者 NATO Advanced Study Institute (1981 : Bonas, France)
書名 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
出版項 Dordrecht, Holland ; Boston, U.S.A. : D. Reidel Pub. Co. ; Hingham, MA : Distributed in the U.S.A. and Canada by Kluwer Boston Inc., c1983
國際標準書號 9027715041
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.6 N378 1981    在架上    30340200158487
 傅斯年圖書館西文圖書區  QA76.6 N279    在架上    HPW0024326
 資訊所圖書室會議論文區  Proc D1.2 N277 1981    館內使用    30330000036405
說明 ix, 374 p. : ill. ; 25 cm
系列 NATO advanced study institutes series. Series C. Mathematical and physical sciences ; v. 95
附註 "Published in cooperation with NATO Scientific Affairs Division."
Includes bibliographies and indexes
主題 Electronic digital computers -- Programming -- Congresses
Program synthesis iis
Alt Author Biermann, Alan W., 1939-
Guiho, Gerard, 1945-
Record:   Prev Next