ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

• 資料種別: 図書
• タイトル: ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
• タイトルよみ: ストリーム ヘイレツ ジッコウ モデル ニ モトヅク ヘイコウ ドウサ プログラム ノ ケイシキテキ カイハツホウ
• 著者・編者: 荒木, 啓二郎, 奈良先端科学技術大学院大学
• 著者標目: 荒木, 啓二郎 アラキ, ケイジロウ
• 出版年月日等: 1992-1993
• 出版年（W3CDTF）: 1992
• 数量: 冊
• その他のタイトル: 研究種目 一般研究(B)
• 件名標目: 並行動作システム ヘイコウドウサシステム; ストリーム並列 ストリームヘイレツ; 形式的仕様 ケイシキテキシヨウ; 実行可能仕様 ジツコウカノウシヨウ; 仕様記述言語Z シヨウキジユツゲンゴZ; 仕様スライス シヨウスライス; 並列オペレーテイングシステム ヘイレツオペレーテイングシステム; 分散処理システム ブンサンシヨリシステム
• NDLC: Y151
• 一般注記: 文部省科学研究費補助金研究成果報告書
• 科研費課題番号: 04452196
• 所蔵機関: 国立国会図書館
• 請求記号: Y151-H04452196
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000006986157; http://id.ndl.go.jp/bib/000006986157
• 整理区分コード: 214