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
No physical items for this record
Includes indexes.
There are no comments on this title.
Log in to your account to post a comment.