北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

ソフトウェア カガク ノ タメ ノ ロンリガク

ソフトウェア科学のための論理学 / 萩谷昌己 [著]

(岩波講座ソフトウェア科学 / 長尾真 [ほか] 編;11)
データ種別 図書
出版者 東京 : 岩波書店
出版年 1994.1
著者標目 萩谷, 昌己(1957-) <ハギヤ, マサミ>
長尾, 真(1936-) <ナガオ, マコト>

所蔵情報を非表示

配架場所 巻　次 請求記号 登録番号 状　態 コメント ISBN 刷　年 予約 利用注記
理学 作業中
007.08||I95||11 11000079

1994

書誌詳細を非表示

大きさ xvii, 220p ; 23cm
件　名 NDLSH:電子計算機
一般注記 参考書: p213-216
事項索引: 巻末
分　類 NDC8:007.63
NDLC:M159
書誌ID BB00154376
本文言語 日本語
巻冊次 ISBN:4000103512 ; PRICE:3000円
NCID BN10240152

類似資料

  1. 1 オペレーティングシステム / 前川守[著]
  2. 2 PC-9801・E・F困った時に開く本 : 知りたい機能で引く / 戸内順一著
  3. 3 プログラミング言語処理系 / 佐々政孝[著]
  4. 4 プログラミング言語 / 武市正人 [著]
  5. 5 数値処理プログラミング / 津田孝夫 [著]

検索結果一覧に戻る ページトップ

図書館サービス

利用者サービス