Modelling Computing Systems: Mathematics for Computer