An introduction to formal specification and Z /
By: Potter, Ben.
Contributor(s): Sinclair, Jane | Till, David.
Series: Prentice-Hall international series in computer science.Publisher: London ; New York : Prentice Hall, 1996Edition: 2nd ed.Description: xiv, 434 p. : ill. ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 0132422077 (pbk.); 9780132422079:.Subject(s): Computer software -- Development | Z (Computer program language) | Software engineering -- SpecificationsDDC classification: 005.1Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Standard Loan | ATU Sligo Yeats Library Main Lending Collection | 005.1 (Browse shelf(Opens below)) | 1 | Available | 0044935 |
Total holds: 0
Includes bibliographical references (p. 414-418) and index.