Software development with Z : a practical approach to formal methods in software engineering / J.B. Wordsworth.
Material type: TextSeries: International computer science seriesPublication details: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.Description: xii, 334 p. : ill. ; 24 cmISBN:- 0201627574
- 9780201627572:
- 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 | 24752 |
Includes bibliographical references (p. 321-324) and index.
21.95