ויקיפדיה

אימות תוכנה – הבדלי גרסאות

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
Legobot (שיחה | תרומות)
60,813 עריכות
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q173326
שורה 31:
 
{{נ}}
 
[[en:Formal verification]]
[[cs:Formální verifikace]]
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[el:Τυπική επαλήθευση]]
[[es:Verificación formal]]
[[fr:Vérification formelle]]
[[ja:形式的検証]]
[[lt:Verifikacija]]
[[no:Verifikasjon]]
[[pl:Weryfikacja formalna]]
[[pt:Verificação formal]]
[[ru:Формальная верификация]]
[[sk:Verifikácia]]
[[sr:Верификација]]
[[uk:Формальна верифікація]]
[[zh:形式验证]]
אוחזר מתוך "https://he.wikipedia.org/wiki/אימות_תוכנה"