They are fairly comprehensive, reasonably priced and the latest editions utilize the low cost Stellaris® LM4F120 LaunchPad Evaluation Kit available for less than $13 USD, although any ARM Cortex-M based development board would suffice.
You might also consider the following which are well written and fairly comprehensive:
I actually have a copy of each of the above in my library and have read and referenced them on occasion during code development. The Valvano series tends to be more lesson oriented, while the Definitive Guides are more reference oriented.