Next: 2 What is this Up: Module 0046: Pre and Previous: Module 0046: Pre and

1 About this module

Prerequisites: 0011, 0012, 0013
Objectives: This module introduces the concepts of pre and post conditions for various types of statements.

Copyright © 2012-02-07 by Tak Auyeung