Z : an introduction to formal methods / Antoni Diller
By: Diller, Antoni
.
Publisher: Chichester, West Sussex : John Wiley, 1994Edition: 2nd ed.Description: xix, 374p. ; 24cm.ISBN: 0471939730.Subject(s): Z (Computer program language)DDC classification: 005.12
| Item type | Current location | Call number | Copy number | Status | Notes | Date due | Barcode | Remark |
|---|---|---|---|---|---|---|---|---|
| Main Collection | TU External Storage-LCS | 005.12 DIL (Browse shelf) | 1 | Available | ADTP, 500271 | 1000003618 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | |
| Main Collection | TU External Storage-LCS | 005.12 DIL (Browse shelf) | 1 | Available | ADTP, 500272 | 1000003594 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |
Browsing Taylor's Library-TU Shelves Close shelf browser
| 005.12 DES Design patterns : | 005.12 DIC Computer program design / | 005.12 DIL Z : | 005.12 DIL Z : | 005.12 EEL 2010 The process of software architecting / | 005.12 EEL 2010 The process of software architecting / | 005.12 EEL 2010 The process of software architecting / |