Image from Syndetics
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn.
Contributor(s): Hayes, Ian
| Flinn, Bill.
Material type: 
BookSeries: Prentice-Hall international series in computer science.Publisher: New York : Prentice Hall, 1993Edition: 2nd edition.Description: xv, 288 p. : ill. ; 24 cm.ISBN: 0138325448 .Subject(s): Computer programs -- Specifications -- Case studiesDDC classification: 005.12
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00013757 |
Total holds: 0
Browsing MTU Bishopstown Library shelves, Shelving location: Store Close shelf browser (Hides shelf browser)
Enhanced descriptions from Syndetics:
This work presents a series of up-to-date case studies in the use of Z, the mathematical notation system for designing and specifying computer systems.
Includes bibliographical references (p. 271-275) and index.