你说的很有道理，不光在工程领域，金融交易用的软件也是如此。
UberAlles
2010-02-28 18:18:35
( reads)
电子交易系统每天都会报错许多成交价。
理论结果有趣的地方是，那些不能证明对错的程序都是不需要外界输入的，运行只可能有唯一结果。
电子交易系统每天都会报错许多成交价。
理论结果有趣的地方是，那些不能证明对错的程序都是不需要外界输入的，运行只可能有唯一结果。