System Development Using Event-B COMP9116

T^T no one likes me

view:995 Link of Handbook
(login to add links.)

1 Comments

1

FromFacebook May 24, 2016, 11:01 p.m.

- Course content is interesting (using formal modelling to 'prove' your code is consistent, rather than using testing). Ken is a good lecturer despite the poor organisation of the course. Some math involved, nothing crazy. Apparently similar to COMP2111.

Your Comment

(Send email to [email protected] to modify ur anonymous answer)