Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

＜図書＞
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

責任表示	edited by Rohit Parikh
シリーズ	Lecture notes in computer science ; 193
データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , c1985
本文言語	英語
大きさ	vi, 424 p. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/6798058

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	理系図3F 数理独自	SER/LNCS/193	1985		068222185005201		予約・取寄			予約・取寄
	: gw	理系図自動書庫	408/L 49	1985		061232004006206		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Papers presented at a conference held at Brooklyn College June 17-19, 1985 Includes bibliographies
著者標目	Parikh, Rohit, 1936-
件　名	LCSH:Computer programs -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索 NDLSH:プログラミング(電子計算機)
分　類	LCC:QA76.6 DC19:001.64/2
書誌ID	1000032390
ISBN	3540156488
NCID	BA00491890
巻冊次	: gw ; ISBN:3540156488 : us ; ISBN:0387156488
登録日	2009.09.10
更新日	2017.02.18