Predicate transformer semantics
By: Ernest G. Manes.
Edition: 1st paperback ed.
Series: Cambridge tracts in theoretical computer science ;; 33
Publisher: Cambridge University Press
Published: 2004
Place of publication: Cambridge; New York
Language: eng
Number of pages: 223
Subjects: Programming languages (Electronic computers) -- Semantics.; Computer science -- Mathematics.
Notes: Includes bibliographical references and index.