Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

＜図書＞
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

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

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: gw	理系図3F 数理独自	SER/LNCS/164	1984	068222184004118	予約・取寄		予約・取寄
: gw	理系図自動書庫	007/L 49	1983	068252184007207	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	理系図自動書庫	408/L 49	1984	061232004005914	予約・取寄	出庫可能	予約・取寄	出庫可能

一般注記	Includes bibliographies
著者標目	Clarke, Edmund Kozen, Dexter, 1951- *Logics of Programs Workshop (1983 : Pittsburgh, Pa.)
件　名	LCSH:Electronic digital computers -- Programming -- Congresses 全ての件名で検索
分　類	LCC:QA76.6 DC19:001.64/2
書誌ID	1000042402
ISBN	3540128964
NCID	BA03706246
巻冊次	: gw ; ISBN:3540128964 : us ; ISBN:0387128964
登録日	2009.09.10
更新日	2017.02.18