【程式校正理論】
<P align=center><STRONG><FONT size=5>【<FONT color=red>程式校正理論</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：theoryofprogramcorrection</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>關於如何使用編製程式來產生程式語言，以正確完成預定目標的理論。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>通常包含程式驗證及程式綜合。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]