next up previous contents
Next: Numerical Analysis II Up: Lent Term 1999: Part Previous: Specification and Verification I

Additional Topics

Lecturer: Professor A. Hopper and others (ah@cl.cam.ac.uk)

No. of lectures: 12

The lecture list for this course will be handed out in the Lent Term. The lectures will cover both theoretical and practical subjects. A reference will be provided for each lecture.



Christine Northeast
1998-10-01