このページのリンク

利用統計

  • このページへのアクセス:88回

  • 貸出数:2回
    (1年以内の貸出数:0回)

<図書>
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
電子版へのリンク

所蔵情報

: us 中央図 2B 068582182006064 549.9/L 49/(130) 1982
: us 理系図3F 数理独自 068222182004372 SER/LNCS/130 1982
: gw 理系図 自動書庫 061232004005573 408/L 49 1982

書誌詳細

一般注記 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

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています