Predicate transformer semantics

By Ernest G. Manes

Subjects: Mathematics, Programming languages (electronic computers), Programming languages (Electronic computers) -- Semantics, Programming languages (Electronic computers), Computer science, Semantics, Computer science -- Mathematics, Computer science, mathematics

Description: 223 p. : 26 cm