Foundations of Computing and Programming: Exploring the micro:bit

Readers will learn: How to program the micro: bit and use it effectively as a physical device About reactive and communicating systems and what makes then special in computer science How systems are represented inside the computer The relevance of new topics such as machine learning and program correctness