For anyone else curious about Kochenderfer's books

https://mykel.kochenderfer.com/textbooks/