ISBN 0139785299 books & textbook
The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science)
Prentice Hall /1992T Paperback / 275 Pages
isbn-10: 0139785299 / isbn-13: 9780139785290
Prentice Hall /1992T Paperback / 275 Pages
isbn-10: 0139785299 / isbn-13: 9780139785290