The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
Material type:
TextSeries: Prentice-Hall international series in computer sciencePublication details: New York : Prentice Hall, 1992.Edition: 2nd edDescription: 1 Online resource (1 volume)Subject(s): DDC classification: - 005.11 SPI 1992
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|---|---|
Electronic Book
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Online Resources | FCUC Library | 005.11 SPI 1992 (Browse shelf(Opens below)) | e-book | e00030 |
Total holds: 0
Includes indexes.