Logic of programs : workshop, ETH Zürich, May-July 1979

＜図書＞
Logic of programs : workshop, ETH Zürich, May-July 1979

責任表示	edited by Erwin Engeler
シリーズ	Lecture notes in computer science ; 125
データ種別	図書
出版情報	Berlin ; Tokyo : Springer , 1981
本文言語	英語
大きさ	245 p. : ill. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/7018572

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: gw	理系図3F 数理独自	SER/LNCS/125	1981	068222182003432	予約・取寄		予約・取寄
: gw	中央図 2B	549.9/L 49/(125)	1981	068582181016052	予約・取寄		予約・取寄
: gw	理系図自動書庫	408/L 49	1981	061232004005522	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	芸工図 2F 工学図書室	549.92/L49/125	1981	072032181011998	予約・取寄		予約・取寄

一般注記	Includes bibliographies
著者標目	Engeler, Erwin, 1930- Eidgenössische Technische Hochschule Zürich
件　名	LCSH:Computer programs -- Addresses, essays, lectures 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Addresses, essays, lectures 全ての件名で検索
分　類	LCC:QA76.6 DC19:001.64/25
書誌ID	1000031373
ISBN	3540111603
NCID	BA03899580
巻冊次	: gw ; ISBN:3540111603 : us ; ISBN:0387111603
登録日	2009.09.10
更新日	2017.02.18