An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
Material type: TextSeries: Prentice-Hall international series in computer sciencePublication details: London ; New York : Prentice Hall, 1996.Edition: 2nd edDescription: xiv, 434 p. : ill. ; 24 cmISBN:- 0132422077 (pbk.)
- 9780132422079:
- 005.12
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library General Lending | 005.12 (Browse shelf(Opens below)) | 1 | Available | 27930 | |
General Lending | Carlow Campus Library General Lending | 005.12 (Browse shelf(Opens below)) | 1 | Available | 27931 |
Includes bibliographical references (p. 414-418) and index.
21.95