正則時相論理に基づく形式的論理設計検証に関する研究
著者
書誌事項
正則時相論理に基づく形式的論理設計検証に関する研究
[平石裕実], 1991.3
- タイトル別名
-
平成2年度科学研究費補助金一般研究(C)研究成果報告書 : 研究課題番号 01550285
- タイトル読み
-
セイソク ジソウ リロン ニ モトズク ケイシキテキ ロンリ セッケイ ケンショウ ニカンスル ケンキュウ
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
京都大学工学部
