An introduction to formal specification and Z / Ben Potter, Jane Sinclair and David Till
By: Potter, Ben.
Contributor(s): Sinclair, Jane [(j.a.)] | Till, David [(j.a.)].
Series: Prentice-Hall international series in computer science. Publisher: England ; New York : Prentice Hall, 1996Edition: 2nd ed.Description: xiv, 434 p. : ill. ; 24 cm.ISBN: 0132422077.Subject(s): Computer software -- Development | Z (Computer program language)DDC classification: 005.12Item 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 | SOCIT, SOCIT, 560080 | 1000101694 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | |
Main Collection | TU External Storage-LCS | 005.12 POT (Browse shelf) | 1 | Available | SOCIT, SOCIT, 560079 | 1000101693 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | |
Main Collection | TU External Storage-LCS | 005.12 POT (Browse shelf) | 1 | Available | SOCIT, SOCIT, 560078 | 1000101692 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | |
Main Collection | TU External Storage-LCS | 005.12 POT (Browse shelf) | 1 | Available | SOCIT, SOCIT, 560077 | 1000101691 | 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 POT An introduction to formal specification and z / | 005.12 QIA 2010 Software architecture and design illuminated / |