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.11Item 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 |
Browsing Taylor's Library-TU Shelves Close shelf browser
005.11 MAR Principles of object-oriented analysis and design / | 005.11 NEW Extreme programming in practice / | 005.11 SPI The Z notation : | 005.11 SPI The Z notation : | 005.11 TAY Object technology : | 005.11 TAY Object technology : | 005.1112 MAC 2019 More effective agile : |