Any will do, so I do not want to nitpick too much. I want to point out that most people are using pytorch these days. If you use the book that uses Keras it is also fine, but I would not start with Tensorflow today.