next up previous contents
Next: Introduction Up: Computer Science Tripos Syllabus Previous: Specification and Verification II   Contents


Part II (General) of the Computer Science Tripos



Subsections

Christine Northeast
Wed Sep 4 14:43:05 BST 2002