.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
C++ Toolbox for Verified Computing I
Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich W.; Ratz, Dietmar
€ 139.81
FREE Delivery in Ireland
Description for C++ Toolbox for Verified Computing I
Paperback. Theory, Algorithms, and Programs Num Pages: 400 pages, biography. BIC Classification: PBK; PBKS; PHU; TBJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 609.
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri cal computing. ... Read more
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri cal computing. ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
400
Condition
New
Number of Pages
382
Place of Publication
Berlin, Germany
ISBN
9783642796531
SKU
V9783642796531
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for C++ Toolbox for Verified Computing I