定理証明システムを用いたコンパイラの検証と実装

定理証明システムを用いたコンパイラの検証と実装

テイリ ショウメイ システム オ モチイタ コンパイラ ノ ケンショウ ト ジッソウ

大熊浩示 [著]

[つくば] : [大熊浩示], [2005]

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

DA03685-2004

10005009313

本学論文

詳細情報

刊年

2005

形態

71枚 : 挿図 ; 31cm

注記

筑波大学博士 (工学) 学位論文・平成17年3月25日授与 (甲第3685号)

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

大熊, 浩示 (オオクマ, コウジ)

分類

CAL:DA03685