不過,儘管有未能實現的期待,在程式驗證(program verification)上的研究為我們帶來的價值,遠勝於會吞入程式然後顯示「好」或「壞」的黑盒子,現在我們對於電腦程式設計有 ...
確定! 回上一頁