図書

各種属性を制御可能なランダムテスト例題生成技術の研究

図書を表すアイコン

各種属性を制御可能なランダムテスト例題生成技術の研究

国立国会図書館請求記号
Y151-H07458061
国立国会図書館書誌ID
000007004175
資料種別
図書
著者
岩間, 一雄, 九州大学
出版者
-
出版年
1995-1996
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
カクシュ ゾクセイ オ セイギョ カノウ ナ ランダムテスト レイダイ セイセイ ギジュツ ノ ケンキュウ
著者・編者
岩間, 一雄, 九州大学
著者標目
岩間, 一雄, 1951- イワマ, カズオ, 1951- ( 00846999 )典拠
出版年月日等
1995-1996
出版年(W3CDTF)
1995
数量
その他のタイトル
研究種目 基盤研究(B)
件名標目
充足可能性問題 ジユウソクカノウセイモンダイ
充足解数の制御 ジユウソクカイスウノセイギヨ
局所探索法 キヨクシヨタンサクホウ
重みつけ法 オモミツケホウ
定理自動証明 テイリジドウシヨウメイ
単読導出原理 タンドクドウシユツゲンリ
計算複雑さ ケイサンフクザツサ
例題生成系の安全性 レイダイセイセイケイノアンゼンセイ