Title: Predicate transformer semantics
Description: 223 p. : 26 cm
Subjects: Computer science, Mathematics, Programming languages (Electronic computers), Semantics, Computer science, mathematics, Programming languages (Electronic computers) -- Semantics, Computer science -- Mathematics