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

m
m
m (robot Adding: cs:Formální verifikace)
[[Category:数学に関する記事|けいしきてきけんしよう]]
 
[[cs:Formální verifikace]]
[[de:Verifizierung]]
[[en:Formal_verificationFormal verification]]
[[es:Verificación_formalVerificación formal]]
[[he:אימות_תוכנהאימות תוכנה]]
[[no:Verifikasjon]]
[[ru:Верификация]]
44,909

回編集