Gaya APA

C++ Toolbox for Verified Computing Basic Numerical Problems. (1995). Germany: Springer-Verlag.

Gaya Chicago

C++ Toolbox for Verified Computing Basic Numerical Problems. . Germany: Springer-Verlag, 1995. .

Gaya MLA

C++ Toolbox for Verified Computing Basic Numerical Problems. . Germany: Springer-Verlag, 1995. .

Gaya Turabian

C++ Toolbox for Verified Computing Basic Numerical Problems. Germany: Springer-Verlag, 1995. .