Axiomatising the logic of computer programming

＜図書＞
Axiomatising the logic of computer programming

責任表示	Robert Goldblatt
シリーズ	Lecture notes in computer science ; 130
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , 1982
本文言語	英語
大きさ	xi, 304 p. ; 24 cm
電子版へのリンク	https://hdl.handle.net/2324/7017389

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

一般注記	Bibliography: p. 291-298 Includes index
著者標目	*Goldblatt, Robert, 1949-
件　名	LCSH:Programming languages (Electronic computers) -- Semantics 全ての件名で検索 LCSH:Proof theory
分　類	LCC:QA76.7 DC19:519.4
書誌ID	1000030636
ISBN	3540112103
NCID	BA07247912
巻冊次	: gw ; ISBN:3540112103 : us ; ISBN:0387112103
登録日	2009.09.10
更新日	2017.02.18