The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science)
Full Title: | The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) |
---|---|
ISBN: | 0139785299 |
ISBN13: | 9780139785290 |
List Price: | USD $43.00 |
Authors: |
Spivey, J. M. |