The Z notation : a reference manual / J.M. Spivey ; based on t he 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: xi, 158 p. ; 24 cmISBN: - 0139785299 :
- 005.1/1 20
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005.11 SPI (Browse shelf(Opens below)) | Available | 001221171 |
Includes indexes.
There are no comments on this title.
Log in to your account to post a comment.