図書

代数的手法に基づくソフトウエアの検証の基礎的研究

図書を表すアイコン

代数的手法に基づくソフトウエアの検証の基礎的研究

国立国会図書館請求記号
Y151-H07680350
国立国会図書館書誌ID
000007009610
資料種別
図書
著者
酒井, 正彦, 名古屋大学
出版者
-
出版年
1995-1997
資料形態
紙
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記：

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

書店で探す

書店で探す

書店で探す

書誌情報

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

紙

資料種別
図書
タイトル
代数的手法に基づくソフトウエアの検証の基礎的研究
タイトルよみ
ダイスウテキ シュホウ ニ モトヅク ソフトウエア ノ ケンショウ ノ キソテキ ケンキュウ
著者・編者
酒井, 正彦, 名古屋大学
著者標目
酒井, 正彦 サカイ, マサヒコ
出版年月日等
1995-1997
出版年（W3CDTF）
1995
数量
冊
その他のタイトル
研究種目 基盤研究(C)
件名標目
項書換え系 コウカキカエケイ
合流条件 ゴウリユウジヨウケン
停止条件 テイシジヨウケン
E単一化 Eタンイツカ
完備化 カンビカ