Формальна верифікація: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Bunyk (обговорення | внесок) м перейменував «Верифікація формальна» на «Формальна верифікація» поверх перенаправлення: вікіпедія - не енциклопедія |
м r2.5.2) (робот додав: el:Τυπική επαλήθευση |
||
Рядок 16:
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[el:Τυπική επαλήθευση]]
[[en:Formal verification]]
[[es:Verificación formal]]
|