龍谷大学図書館

プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

E. W. ダイクストラ, W. H. J. フェイエン著 ; 玉井浩訳. -- サイエンス社, 1991. -- (Information & computing ; 59). <BB20371465>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配置場所 請求記号 資料ID コメント 状態 禁帯出区分 予約 Web書棚
0001 59 深草.8号館閉架3F 549.9/インフ-B/59 19552217596 一般 0件
巻号 59
所蔵館 深草
配置場所 深草.8号館閉架3F
請求記号 549.9/インフ-B/59
資料ID 19552217596
コメント
状態
禁帯出区分 一般
返却予定日
予約 0件
Web書棚

書誌詳細

標題および責任表示 プログラミングの方法 : 論理学を用いた正しいプログラムの作り方 / E. W. ダイクストラ, W. H. J. フェイエン著 ; 玉井浩訳
プログラミング ノ ホウホウ : ロンリガク オ モチイタ タダシイ プログラム ノ ツクリカタ
出版・頒布事項 東京 : サイエンス社 , 1991.11
形態事項 iv, 202p ; 21cm
巻号情報
ISBN 4781906311
書誌構造リンク Information & computing <BB10001133> 59//a
 >>シリーズで再検索する
その他の標題 原タイトル:A method of programming
その他の標題 異なりアクセスタイトル:ダイクストラプログラミングの方法 : 論理学を用いた正しいプログラムの作り方
ダイクストラ プログラミング ノ ホウホウ : ロンリガク オ モチイタ タダシイ プログラム ノ ツクリカタ
NCID BN06912734
本文言語コード 日本語
著者標目リンク Dijkstra, Edsger Wybe, 1930- <AU00045433>
著者標目リンク Feijen, W. H. J. <AU00148279>
著者標目リンク 玉井, 浩||タマイ, ヒロシ <AU00065176> 訳
分類標目 情報科学 NDC8:007.64
分類標目 NDC7:418.6
分類標目 NDC7:418.608
件名標目等 電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング
件名標目等 プログラミング(電子計算機)||プログラミング(デンシケイサンキ)