CSci 550: Program Semantics and Derivation
Spring Semester 1998
Miscellaneous Lecture Notes
- Feijen's Table of Cubes Problem.
Technical Report UMCIS-1994-02.
(
Postscript)
(
HP PCL)
- A Programmer's Introduction to Predicate Logic.
Technical Report UMCIS-1994-02.
(
Postscript)
(
HP PCL)
UP to CSCI 550 root document?
Copyright © 1998, H. Conrad Cunningham
Last modified: 18 May 1998.