Predicate transformer semantics
By: Ernest G. Manes.
Series: Cambridge tracts in theoretical computer science ;; 33
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York
Language: eng
Number of pages: 223
Subjects: Programming languages (Electronic computers) -- Semantics.; Computer science -- Mathematics.
Description: 223 p. : 26 cm
Notes: Includes bibliographical references (p. 216-220) and index.