
"This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data. It is an indispensable text and reference not only for computer scientists - the authors themselves rely heavily on it! - but for serious users of mathematics in virtually every discipline."
Anyway, this reminds me of a rather different initiative in the same vein: The building of Mathematical principles based on the expediences of Computer Science: CONCRETE MATHEMATICS
by Donald Knuth, Ronald Graham and Oren Patashnik.
https://www-cs-faculty.stanford.edu/~knuth/gkp.html
https://en.wikipedia.org/wiki/Concrete_Mathematics
available on the Internet Archive: https://archive.org/download/concrete-mathematics/Concrete%2...
I also love Concrete Mathematics.
I prefer the Tanenbaum OS books over Stallings. In particular the design and implementation book, although it is more than a decade old now.
Problems in it are a bit tough to chew through though.