Validation numericsby R. Albrecht, G. AlefeldAlgebra, abstractComputer programs, validationComputer arithmeticNumerical calculationsVerificationWriting a summary for young readers…For young readersBook data: Open Library