関西学院大学図書館

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. -- D. Reidel Pub. Co.. -- (NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 95). <BY03531653>
このページのURL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 上ケ原館外書庫図書 510.78:719 0096453923 0件
No. 0001
巻号
配架場所 上ケ原館外書庫図書
請求記号 510.78:719
資料ID 0096453923
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 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
形態 ix, 374 p. : ill. ; 25 cm
シリーズ名等 NATO advanced study institutes series <BY03225776> ser. C . Mathematical and physical sciences ; v. 95//a
巻号情報
ISBN 9027715041
注記 "Published in cooperation with NATO Scientific Affairs Division."
注記 Includes bibliographies and indexes
NCID BA10749078
本文言語 英語
著者標目 *NATO Advanced Study Institute <AU00000751> (1981 : Bonas, France)
著者標目 Biermann, Alan W., 1939- <AU00048528>
著者標目 Guiho, Gérard, 1945- <AU00361404>
分類標目 LCC:QA76.6
分類標目 DC19:001.64/2
件名標目等 Electronic digital computers -- Programming -- Congresses