Wow, we used this textbook (albeit alongside a more beginner focused one) in first year undergrad Computer Science.