Engineers and scientists who want to avoid errors in their computer-assisted calculations will welcome this concise guide. In addition to its practical advice on detecting and removing the bugs that plague finite-precision calculations, it also outlines techniques for preserving significant figures, avoiding extraneous solutions, and finding efficient iterative processes for solving nonlinear equations. 1996 edition. Unabridged republication of the edition published by Princeton University Press, Princeton, 1996.
Numerical Methods by Germund Dahlquist, Åke Björck Practical text strikes balance between students' requirements for theoretical treatment and the needs of practitioners, with best methods for both large- and small-scale computing. Many worked examples and problems. 1974 edition.
Mathematical Theory of Computation by Zohar Manna Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
