next up previous contents
Next: Specification and Verification I Up: Michaelmas Term 2000: Part Previous: Information Theory and Coding

Project Briefing II

Lecturer: Professor M.J.C. Gordon (mjcg@cl.cam.ac.uk)

No. of lectures: 1


Lecture


Project proposal, progress report, writing the dissertation. Backing up. Assessment. Timetable and deadlines: penalty for late submission.




Christine Northeast
Wed Sep 20 15:13:44 BST 2000