Homework & Grades
Old Homework Directory
Q & A
U. of Iowa Homepage
This page provides information on some of the resources available for students in 22C:181. The page is organized as follows:
To check out one of these (for a few hours or days), go to the Mathematical Sciences Library reserve desk. Take along the call number and title, or look up 22C:181 there.
Other Texts On Formal Methods
Last modified Tuesday, May 8, 2001.
This web page is for the Spring 2001 offering of 22C:181 at the University of Iowa. The details of this course are subject to change as experience dictates. You will be informed of any changes. Thanks to Curt Clifton for help with an earlier version of these web pages. Please direct any comments or questions to Gary Leavens.