by Ernest. G. Manes
Hardcover
details (Italy).
(see also: Copertina rigida)
ISBN: 978-0-521-42036-5
ISBN-10: 0-521-42036-9
Cambridge University Press · 1992
|
|
by Ernest. G. ManesHardcover
details (Italy).
ISBN: 978-0-521-42036-5 ISBN-10: 0-521-42036-9 Cambridge University Press · 1992 |
| See also: | ||
| 2008 | Paperback | Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science) |