Mathematics for Computing

Module code: COS4014-B

Module Aims

To provide the foundations for formal specification and modelling of computer systems

Outline Syllabus