石巻専修大学図書館

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

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

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

No. 所蔵館 配置場所 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 石巻 開架図書(2F) /007.64/D73 000139006 配架済 0件
No. 0001
所蔵館 石巻
配置場所 開架図書(2F)
請求記号 /007.64/D73
巻号
年月次
資料ID 000139006
状態 配架済
返却予定日
予約 0件

書誌詳細

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