不動点帰納法に基づく不変性検証の自動化の研究

著者

• 中野, 昌弘 ナカノ, マサヒロ

書誌事項

不動点帰納法に基づく不変性検証の自動化の研究

中野昌弘[著]

中野昌弘, 2007.3

タイトル読み

フドウテン キノウホウ 二 モトズク フヘンセイ ノ ジドウカ ノ ケンキュウ

注記

博士論文(北陸先端科学技術大学院大学, 2007, 博情第193号)

詳細情報

• NII書誌ID(NCID): BA8779991X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [能美]
• ページ数/冊数: vii, 146p
• 大きさ: 30cm