Module code: COS4014-B
To provide the foundations for formal specification and modelling of computer systems. To provide the foundations for the use of computer technology for computations mathematics.