博士論文

リアクティブシステム仕様の検証系に関する研究

博士論文を表すアイコン

リアクティブシステム仕様の検証系に関する研究

国立国会図書館請求記号
UT51-2004-R590
国立国会図書館書誌ID
000007649139
資料種別
博士論文
著者
青島武伸 [著]
出版者
[青島武伸]
出版年
[2003]
資料形態
紙
ページ数・大きさ等
1冊
授与大学名・学位
東京工業大学,博士 (工学)
すべて見る

資料に関する注記

一般注記：

博士論文

書店で探す

書店で探す

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
博士論文
タイトル
リアクティブシステム仕様の検証系に関する研究
タイトルよみ
リアクティブ システム シヨウ ノ ケンショウケイ ニ カンスル ケンキュウ
著者・編者
青島武伸 [著]
著者標目
青島, 武伸 アオシマ, タケノブ
出版事項
[青島武伸]
出版年月日等
[2003]
出版年（W3CDTF）
2003
数量
1冊
授与機関名
東京工業大学