Once the predicates are defined, th

Once the
predicates are defined, the verifications (post-
conditions) are used to assure the correct output
has been obtained.

ผลลัพธ์ (ไทย) 1:

ครั้ง กำหนดเพรดิเคต verifications (หลัง ใช้เงื่อนไข) เพื่อให้มั่นใจว่าผลลัพธ์ถูกต้อง ได้รับการ

ผลลัพธ์ (ไทย) 2:

เมื่อ
ภาคที่กำหนดไว้, การตรวจสอบ (หลัง
เงื่อนไข) ถูกนำมาใช้เพื่อให้มั่นใจได้ผลลัพธ์ที่ถูกต้อง
ได้รับ

ผลลัพธ์ (ไทย) 3:

เมื่อมีการกำหนด
ภาคแสดง , โทรศัพท์มือถือ ( ไปรษณีย์ -
เงื่อนไข ) จะถูกใช้เพื่อให้มั่นใจ
ออกถูกต้องได้รับการรับ