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![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
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 |
Browsing Taylor's Library-TU Shelves Close shelf browser
005.12 POT An introduction to formal specification and Z / | 005.12 POT An introduction to formal specification and Z / | 005.12 POT An introduction to formal specification and Z / | 005.12 POT An introduction to formal specification and z / | 005.12 POT An introduction to formal specification and z / | 005.12 QIA 2010 Software architecture and design illuminated / | 005.12 QIA 2010 Software architecture and design illuminated / |