非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究
著者
書誌事項
非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究
[出版者不明], 1990.3
- タイトル別名
-
平成元年度科学研究費補助金(一般研究C)研究成果報告書
- タイトル読み
-
ヒテイシ プロセス ノ チュウショウカ ト ダイスウテキ シヨウ キジュツ ニ カンスル キソテキ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
課題番号:63580025