鳴門教育大学 附属図書館

ホーアCSPモデルの理論

C. A. R. Hoare [著] ; 吉田信博訳. -- 丸善, 1992. <BB00045257>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 鳴門教育大学附属図書館 保存書庫:和書 007.64||H81 10255333 0件
No. 0001
巻号
所蔵館 鳴門教育大学附属図書館
配置場所 保存書庫:和書
請求記号 007.64||H81
資料ID 10255333
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 ホーアCSPモデルの理論 / C. A. R. Hoare [著] ; 吉田信博訳
ホーア CSP モデル ノ リロン
出版・頒布事項 東京 : 丸善 , 1992.2
形態事項 xxii,246p ; 22cm
巻号情報
ISBN 4621036831
その他の標題 異なりアクセスタイトル:CSPモデルの理論
CSP モデル ノ リロン
その他の標題 原タイトル:Communicating sequential processes
注記 参考文献:p[237]-238
注記 索引:p[241]-246
学情ID BN07286723
本文言語コード 日本語
著者標目リンク Hoare, C. A. R. (Charles Antony Richard), 1934ー <AU00036111>
著者標目リンク 吉田, 信博||ヨシダ, ノブヒロ <AU00036112>
分類標目 情報科学 NDC8:007.64
分類標目 NDC7:418.6
件名標目等 電子計算機 --プログラミング