Marco Nehmeier "Scientific Computing, Computer Arithmetic, and Validated Numerics" - 1st ed. 2016 - Springer 2016 - Lecture Notes in Computer Science . ISBN: 9783319317694 Subjects--Topical Terms: Arithmetic and Logic StructuresComputer Science