Next:
1 About this module
Module 0046: Pre and post conditions
Tak Auyeung, Ph.D.
1
About this module
2
What is this crazy math?
3
Pre and post conditions
3
.
1
Constant assignment
3
.
2
Resolving references to variables to constants
3
.
3
Simple self referencing assignments
3
.
4
Revisiting the Forget operation
3
.
5
Conditional statements
3
.
6
Loops
About this document ...
Copyright © 2012-02-07 by Tak Auyeung
