書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- ダイスウテキ シュホウ ニ モトヅク ヘイレツ ケイサン システム ノ シヨウ キジュツ ・ ケンショウ ノ キソテキ ケンキュウ
- 著者・編者
- 稲垣, 康善, 名古屋大学
- 著者標目
- 稲垣, 康善 イナガキ, ヤスヨシ
- 出版年月日等
- 1985-1986
- 出版年(W3CDTF)
- 1985
- 数量
- 冊
- 件名標目
- 並列計算システム ヘイレツケイサンシステム代数的仕様記述法 ダイスウテキシヨウキジユツホウ仕様の検証 シヨウノケンシヨウCCS CCSCSP CSP時相論理 ジソウロンリ通信プロトコルの仕様記述 ツウシンプロトコルノシヨウキジユツシストリツクアルゴリズム シストリツクアルゴリズム
- NDLC