8.1. מקורות בעברית
- "בעיית הספיקות", 2009, ויקיפדיה העברית.
- "מבוא לאימות תוכנה
- סיכומי הרצאות", 2005, בן ישראל ש.
- "מבוא לאימות תוכנה - סיכומי הרצאות", 2006, כרמלי י.
- "מבוא לאימות תוכנה
- סיכומי הרצאות", 2008, אדר נ.
- "תחשיב
הפרדיקטים", 2009, ויקיפדיה העברית
|
|