Notice
(Friday, 19 June 1998, 8th week)
Concerning the assessed test, this will be held at 2pm, Tuesday 23
June 1998 in the Gordon Lecture Theatre. The test is open book;
i.e., you may bring any notes, books, etc. In particular, bring the Z
specification of the real-time kernel issued and discussed during recent
lectures since the questions will relate to this specification. If
you do not have a copy, please see
Mark Green ASAP (e.g., at one of
the tutorials).
Note that information on the course is available on-line on
the
World Wide Web under the following
URL (Uniform Resource Locator):
http://www.cs.reading.ac.uk/cs/people/jpb/teaching/z.html