Computerphile

Program Correctness (2020x54)

Air date: Nov 27, 2020

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