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

m
[[Category:プログラム開発手法|けいしきてきけんしよう]]
[[Category:理論計算機科学|けいしきてきけんしよう]]
[[Category:数学に関する記事|けいしきてきけんしよう]]
 
[[de:Verifizierung]]
[[en:Formal verificationFormal_verification]]
[[es:Verificación formalVerificación_formal]]
[[he:אימות תוכנהאימות_תוכנה]]
[[no:Verifikasjon]]
[[ru:Верификация]]
62,338

回編集