Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Algebraic Approaches to Program Semantics | Hardcover | 978-0-387-96324-2 | 1986 | Michael A. Arbib | |
| Algebraic Approaches to Program Semantics | Gebunden | 978-3-540-96324-0 | 1986 | " | |
| Algebraic Theories | " | 978-3-540-90140-2 | 1976 | ||
| Category theory applied to computation and control. Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 | Taschenbuch | 978-3-540-07142-6 | 2008 | ||
| Predicate Transformer Semantics | Paperback | 978-0-521-61610-2 | 2008 | ||
| Predicate Transformer Semantics | Hardcover | 978-0-521-42036-5 | 1992 | ||
E. G. ?? · E.G. Manes · E.M. · E. Manes · Ernest Manes · G.M. · G. Manes