ワークステーションクラスタによる並列分散型形式的論理設計検証

著者

• 平石, 裕実 ヒライシ, ヒロミ

書誌事項

ワークステーションクラスタによる並列分散型形式的論理設計検証

平石裕実研究代表

（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成12-14年度）

[京都産業大学], 2003.3

タイトル読み

ワーク ステーション クラスタ ニヨル ヘイレツ ブンサンガタ ケイシキテキ ロンリ セッケイ ケンショウ

注記

課題番号: 12680361

参考文献: 各章末

詳細情報

• NII書誌ID(NCID): BA72864111
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: 101p
• 大きさ: 30cm
• 親書誌ID:
  • BA30195401