武蔵大学図書館

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

E. W. ダイクストラ, W. H. J. フェイエン著 ; 玉井浩訳. -- サイエンス社, 1991. -- (Information & computing ; 59). <BB01062202>

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 書庫B1 007.64//287 0112217120 0件
No. 0001
巻号
所蔵館 図書館
配置場所 書庫B1
請求記号 007.64//287
資料ID 0112217120
禁帯出区分
状態
返却予定日
予約 0件

書誌詳細

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