書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- Fang Ling [著]
- 著者標目
- 方, 玲 ホウ, レイ
- 出版事項
- 出版年月日等
- [2010]
- 出版年（W3CDTF）
- 2010
- 数量
- 1冊
- 並列タイトル等
- コンパイラ最適化の正しさの保証のための時相論理を用いた形式手法 コンパイラ サイテキカ ノ タダシサ ノ ホショウ ノ タメ ノ ジソウ ロンリ オ モチイタ ケイシキ シュホウ
- 授与機関名
- 東京工業大学