Its development is complementary to

Its development is complementary to efforts in synthesizing programs from complete specifications using deductive and formal methods.

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

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

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

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

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

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