An introduction to formal specification and z / Ben Potter, Jane Sinclair, David Till
By: Potter, Ben
.
Contributor(s): Sinclair, Jane [(j. a.)] | Till, David [(j. a.)].
Series: Prentice Hall international series in computer science. Publisher: London : Prentice Hall Europe, 1996Edition: 2nd ed.Description: xiv, 434 p. ; 24 cm.ISBN: 0132422077.Subject(s): Computer software -- Development | 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 POT (Browse shelf) | 1 | Available | ADTP, 500083 | 1000002181 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |