Just as integer programs can be proven to be correct, so can floating-point programs, although what is proven in that case is that the rounding error of the ...
確定! 回上一頁