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

במסגרת [[מדעי המחשב]] נחקר התחום של [[אימות תוכנה]], שנועד לאפשר [[הוכחה|הוכחת]] נכונותה של תוכנה.

 

{{נ}}

[[קטגוריה:תכנות]]