8 books • 4 series
Computer Arithmetic and Validity (De Gruyter Studies in Mathematics)
Advanced Arithmetic for the Digital Computer
Computer Arithmetic in Theory & Practice (Computer Science and Applied Mathematics) (Computer Science & Applied Mathematics Monograph)
Numerical Toolbox for Verified Computing
C++ Toolbox for Verified Computing
Numerical Toolbox for Verified Computing I (Springer Series in Computational Mathematics, #21)
C-XSC
PASCAL-XSC