Image from Amazon.com
Predicate transformer semantics / Ernest G. Manes.
Series: Cambridge tracts in theoretical computer science ; 33Publication details: Cambridge ; New York : Cambridge University Press, 2004Edition: 1st paperback edDescription: 223 p. : ill. ; 25 cmISBN:- 0521616107 (pbk.)
- 005.13 22
- QA76.7 .M342 2004
No physical items for this record
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.