by Ernest. G. Manes
Paperback
ISBN: 978-0-521-61610-2
ISBN-10: 0-521-61610-7
Cambridge University Press · 2008
|
|
by Ernest. G. ManesPaperback
ISBN: 978-0-521-61610-2 ISBN-10: 0-521-61610-7 Cambridge University Press · 2008 |
| See also: | ||
| 1992 | Hardcover | Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science) |