|
|
| -
(8/7/03): |
Here is a link to the topics that will be covered on the final exam. Be sure to read through them so as to prepare questions for next week's review in class.
|
| -
(8/7/03): |
Problem Set 6 has been posted (along with SPIN installation instructions) on the assignments page.
|
| -
(8/6/03): |
The lecture outline for 8/6/2003 has been posted on the lectures page. A manual for the Promela language is also posted on the lectures page.
|
| -
(7/31/03): |
Problem Set 5 has been posted on the assignments page, please pick it up there.
|
| -
(7/29/03): |
The lecture outline for 7/30/2003 has been posted on the lectures page.
|
| -
(7/24/03): |
Problem Set 4 has been posted on
the assignments page, please pick it up there.
|
| -
(7/14/03): |
Problem Set 3 has been posted on
the assignments page, please pick it up there.
|
| -
(7/8/03): |
An outline of the 7/9/03 lecture has been posted on the lecture page.
|
| -
(7/8/03): |
Problem Set 2 has been posted on the assignments page, please
pick it up there.
|
| -
(6/26/03): |
A bad link to the csep590 mailing list has been fixed,
please subscribe if you haven't already!
|
| -
(6/26/03): |
Homework 1 has been
posted on the
"Assignments"
page, and the first
lecture has been posted
on the
"Lectures"
page, please pick them
up there.
|
| -
(6/25/03): |
Please subscribe to the
course mailing list:
Subscribe via the web:
subscribe
to csep590@cs
OR
Send an email with
"subscribe" as
the subject to:
csep590-request@cs.washington.edu
|
| |
|
