The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]
By: Spivey, J.M
.
Contributor(s): Abrial, J. R.
Series: Prentice-Hall international series in computer science.Publisher: N.Y. : Prentice-Hall International (UK), 1992Edition: 2nd ed.Description: xi, 158 p. ; 24 cm.ISBN: 0139785299.Subject(s): Z (Computer program language)DDC classification: 005.11
| Item type | Current location | Call number | Copy number | Status | Notes | Date due | Barcode | Remark |
|---|---|---|---|---|---|---|---|---|
| Main Collection | TU External Storage-LCS | 005.11 SPI (Browse shelf) | 1 | Available | ADTP, 500270 | 1000003624 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |