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
Tue Mar 26 09:34:31 BST 2002