ts development is complementary to

ts development is complementary to efforts in synthesizing programs from com- plete speci cations using deductive and formal methods.

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

พัฒนา ts เป็นเสริมเพื่อความพยายามในการสังเคราะห์โปรแกรมจาก com plete speci เป็นของหายากใช้วิธี deductive และทาง

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

ทีเอสคือการพัฒนาประกอบกับความพยายามในการสังเคราะห์โปรแกรมจากไพเพอร์ speci เสร็จสมบูรณ์โดยใช้วิธีการนิรนัยและเป็นทางการ

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

การพัฒนา TS อยู่ ประกอบกับความพยายามในการโปรแกรมจากคอม - plete speci ไอออนบวกโดยใช้วิธีนิรนัย และเป็นทางการ