Predicate calculus and program semantics

Descrição: This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformer... Veja mais