Development team. Develop and verif

Development team.
Develop and verify (mathematically) the software.
The software is not executed or even compiled during this process

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

ทีมงานพัฒนา พัฒนา และตรวจสอบซอฟต์แวร์ (mathematically) ซอฟต์แวร์ไม่ดำเนินการ หรือแม้แต่คอมไพล์ในระหว่างกระบวนการนี้

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

ทีมพัฒนา.
การพัฒนาและตรวจสอบ (คณิตศาสตร์) ซอฟแวร์.
ซอฟแวร์จะไม่ทำงานหรือแม้กระทั่งการรวบรวมในระหว่างกระบวนการนี้

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

ทีมพัฒนา
พัฒนาและตรวจสอบ ( ทางคณิตศาสตร์ ) ซอฟต์แวร์
ซอฟต์แวร์ไม่ดำเนินการ หรือแม้แต่รวบรวมในระหว่างกระบวนการนี้