Computerphile

Program Correctness (2020x54)

:

Program Correctness is incredibly important in computing - particularly in hardware design. Professor Graham Hutton takes us through a simple example using arithmetic.