Springer
Automata, Logics, And Infinite Games
It seems that there is a lot of mistakes. After reading the top 7, almost every chapter has an error. Some examples are given. The proof of some aimings also has a pen. This is not worthless of the high quality of the Springer's consistent advertised.
The exercise inside is very interesting, can help the concept of the book. Unfortunately, no one is discussed with me.