Logics of programs : workshop, Yorktown Heights, New York, May 1981

＜図書＞
Logics of programs : workshop, Yorktown Heights, New York, May 1981

責任表示	edited by Dexter Kozen
シリーズ	Lecture notes in computer science ; 131
データ種別	図書
出版情報	Berlin : Springer-Verlag , 1982
本文言語	英語
大きさ	vi, 429 p. : ill. ; 24 cm
電子版へのリンク	https://hdl.handle.net/2324/7018585

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

一般注記	Includes bibliographies
著者標目	Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Kozen, Dexter, 1951-
件　名	LCSH:Electronic digital computers -- Programming -- Congresses 全ての件名で検索
分　類	LCC:QA76.6 DC19:519.7
書誌ID	1000128246
ISBN	354011212X
NCID	BA03670808
巻冊次	: gw ; ISBN:354011212X : us ; ISBN:038711212X
登録日	2009.09.10
更新日	2017.02.18