用語

J-GLOBAL ID：200906089492360926

プログラムの正しさ

電子計算機
関連語 (2件)：

計算理論 (computation theory)
計算理論について
- 「計算理論」ですべてを検索
- この用語の用語情報を見る
プログラム検証 (program verification)
プログラム検証について
- 「プログラム検証」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM