このページのリンク

引用にはこちらのURLをご利用ください

利用統計

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

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

<図書>
ソフトウェア科学のための論理学
ソフトウェア カガク ノ タメ ノ ロンリガク

責任表示 萩谷昌己 [著]
シリーズ 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
データ種別 図書
出版情報 東京 : 岩波書店 , 1994.1
本文言語 日本語
大きさ xvii, 220p ; 23cm

所蔵情報



中央図 自動書庫 007.63/I 95/11 1994
068031193012275


中央図 自動書庫 007.6/N 17/1(11) 1994
068581194066265


理系図 自動書庫 108/HAG 1994
068251194003728 007.63


芸工図 2F 工学図書室 549.92/I95/11 1994
072031193020101

書誌詳細

一般注記 参考書: p213-216
巻末: 事項索引
著者標目 萩谷, 昌己(1957-) <ハギヤ, マサミ>
長尾, 真(1936-) <ナガオ, マコト>
件 名 BSH:電子計算機
NDLSH:電子計算機
NDLSH:記号論理学
分 類 NDC8:007.63
NDLC:M159
書誌ID 1000273196
ISBN 4000103512
NCID BN10240152
巻冊次 ISBN:4000103512 ; PRICE:3000円
NBN JP94030235
登録日 2009.09.11
更新日 2009.09.17