ISBN 0521054141 books & textbook
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Cambridge University Press /2008-01-21 Paperback / 140 Pages
isbn-10: 0521054141 / isbn-13: 9780521054140
