Old 641 Homepage
About Com S 641
Old 641 Syllabus
Old 641 Course Grading Policies
Old 641 Exams
Q & A
Old 641 Meeting outlines
Java Formal Methods
Iowa State U. Homepage
This page provides information on some of the resources available for students in Com S 641. The page is organized as follows:
Related to homework projects, you might want to look at the following.
To check out one of these (for a few hours or days), go to the Parks library reserve desk. Take along the call number and title, or look up Com S 641 there.
Other Texts On Calculation, Verification, and Refinement
Last modified Tuesday, January 22, 2002.
This web page is for the Spring 2002 offering of Com S 641 or the Fall 2002 offering of Com S 610 GL at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Please direct any comments or questions to Gary T. Leavens at leavens@cs-DOT-iastate-DOT-edu.