「形式的検証」の版間の差分

ナビゲーションに移動 検索に移動
m
ロボットによる 追加: fr, pl, zh 変更: ru
m (ロボットによる 追加: fr, pl, zh 変更: ru)
[[en:Formal verification]]
[[es:Verificación formal]]
[[fr:Vérification formelle]]
[[he:אימות תוכנה]]
[[no:Verifikasjon]]
[[pl:Weryfikacja formalna]]
[[ru:Верификация]]
[[ru:Формальная верификация]]
[[sk:Verifikácia]]
[[sr:Верификација]]
[[uk:Верифікація]]
[[zh:形式验证]]
98,559

回編集

案内メニュー