ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
Category
:
形式手法の用語
言語
ウォッチリストに追加
編集
形式手法
の
用語
(フォーマルメソッド・ターミノロジー)に関するカテゴリ。
「
en:Category:Formal methods terminology
」も参照
カテゴリ「形式手法の用語」にあるページ
このカテゴリには 2 ページが含まれており、そのうち以下の 2 ページを表示しています。
か
ガード (プログラミング)
せ
正当性 (計算機科学)