用語

J-GLOBAL ID：200906012824585240

B手法

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

形式的仕様記述言語 (formal specification language)
形式的仕様記述言語について
- 「形式的仕様記述言語」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

形式的手法【計算機】 (formal method)
形式的手法【計算機】について
- 「形式的手法【計算機】」ですべてを検索
- この用語の用語情報を見る

下位語 (1件)：

Event-B
Event-B について
- 「Event-B」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM