解析的意味論に基づく実時間プログラムシステム検証の研究
著者
書誌事項
解析的意味論に基づく実時間プログラムシステム検証の研究
（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成10-12年度）
[水谷哲也], 2001.3
- タイトル読み
-
カイセキテキ イミロン ニ モトズク ジツジカン プログラム システム ケンショウ ノ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
研究代表者: 水谷哲也
研究課題番号: 10680332
