关注微信公众号查券更方便
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs [9783642796531]