Modelling Computing Systems

This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. 

Prof. Faron Moller is a Professor of Computer Science at Swansea University, UK.

Dr. Georg Struth is a Reader in Computer Science at the University of Sheffield, UK.