Predicate transformer semantics /

Bibliographic Details
Main Author: Manes, Ernest G., 1943-
Format: Book
Language:English
Published: Cambridge, UK : Cambridge University, 1992.
Series:Cambridge tracts in theoretical computer science ; 33
Subjects: