The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
About this item
Full title
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
Author / Creator
Publisher
New York : Prentice Hall, 1992.
Date
1992.
Call Numbers
T0371889
Record Identifier
74VKPXOyyM3l
MMS ID
991019645899702626
Language
English
Formats
Physical Description
Physical content
xi, 158 p. ; 24 cm.
Publication information
Publisher
New York : Prentice Hall, 1992.
Edition
2nd ed.
Place of Publication
New York (State)
Date Published
1992.
Subjects
More information
Alternative Titles
Full title
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
Notes
General note
Prentice Hall international series in computer science.
Includes indexes.
Transferred from N005.11/3.
Identifiers
Primary Identifiers
Call Numbers
T0371889
Record Identifier
74VKPXOyyM3l
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VKPXOyyM3l
Other Identifiers
ISBN
0139785299 :
9780139785290 :
DDC
005.11/3
MMS ID
991019645899702626
How to access this item
1 of 0Request as a Library member
