Home >  Term: הוכחת נכונות
הוכחת נכונות

(1) רשמית טכניקה המשמשת כדי להוכיח מתמטית כי תוכנית מחשב עומד שלו requirements.~(2) שצוין הוכחה כי התוצאה של החלת את הטכניקה ב- (1).

0 0

Creator

  • Melech C
  • (Haifa, Israel)

  •  (V.I.P) 36658 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.