Further, Matthews showed that the B

Further, Matthews showed that the Banach contraction principle is valid in
partial metric space and can be applied in program verification.

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

ต่อไป แมตทิวส์แสดงให้เห็นว่า หลักการหดตัวของ Banach ถูกต้องในวัดบางส่วนพื้นที่ และสามารถนำไปใช้ในการตรวจสอบโปรแกรม

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

นอกจากนี้แมตทิวส์แสดงให้เห็นว่าหลักการหดนาคเป็นที่ถูกต้องใน
พื้นที่ตัวชี้วัดบางส่วนและสามารถนำมาใช้ในการตรวจสอบโปรแกรม

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

เพิ่มเติม แมทธิวส์ พบว่า หลักการที่ถูกต้องในการหดตัวนาคปริภูมิเมตริกบางส่วนและสามารถใช้ในการตรวจสอบโปรแกรม