System Development Using Event-B  COMP9116


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

FromDan's Comp electives

- 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

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