Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a mea