時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
著者
書誌事項
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成11年度～平成13年度）
[山根智], 2002.3
- タイトル読み
-
ジソウ ロンリ ト ヘイコウ ケイサン オートマトン ノ トウゴウカ ニ ヨル ジリツセイ ノ アル ブンサン システム ノ セッケイ シエン
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
課題番号 : 11680360