• COMP11212 Extra Session

    Published: Thursday, 23 March 2017

    There will be an extra session on how to construct correctness proofs on Friday 24th March (tomorrow) from 12-1 in IT407...

    There will be an extra session on how to construct correctness proofs on Friday 24th March (tomorrow) from 12-1 in IT407

    I will explain how I approach these problems, give some more worked examples and answer any specific questions people have.

    I am aware that this may coincide with other courses for a few of you (hopefully not many). If this presents a problem then please contact me directly.

    gravatar Giles Reger
Generated: Sunday, 17 December 2017 09:49:28
Last change: Thursday, 23 March 2017 16:06:07
▲ Up to the top