Computer Laboratory Course material 2007–08

Introduction People » Contact information Research Teaching Lecture timetables Course material 2007–08 Part IA (50% option) Part IA (25% option) Part IA (Maths with Computer Science) Part IB Part II Part II (General) Diploma Lecturer index Supervisions Part II and Diploma projects Examinations Directors of Studies Public Workstation Facility Online services Seminars Technical reports Publications database » Library Admissions information Job vacancies Miscellaneous Internal information Sitemap

Specification and Verification I 2007–08 Principal lecturer: Prof Mike Gordon Taken by: Part II Syllabus Past exam questions The web page for this course is here.

© 2007 Computer Laboratory, University of Cambridge
Please send any comments on this page to Prof Mike Gordon
Last modified 2007-09-20 10:53 by Mike Gordon