|
by J SpiveyPaperback
details (Italy).
ISBN: 978-0-521-05414-0 ISBN-10: 0-521-05414-1 Cambridge University Press · 2008 |
| See also (possibly by other authors): | ||
| 1988 | Hardcover | Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science) |