الصفحة الرئيسية > Term: ความถูกต้องบางส่วน
ความถูกต้องบางส่วน
ในการพิสูจน์ความถูกต้อง กำหนดระบุว่า assertions ผลลัพธ์ของโปรแกรมตามตรรกะจาก assertions ที่ป้อนข้อมูล และขั้นตอนการประมวลผล
- قسم من أقسام الكلام: noun
- المجال / النطاق: كمبيوتر; البرامج
- الفئة: Software engineering
- Organization: IEEE Computer Society
0
المنشئ
- Ausanat
- 100% positive feedback
(Bangkok, Thailand)