The Z notation : a reference manual /
Spivey, J.M.
The Z notation : a reference manual / J. M. Spivey based on the work of J. R.Abrial...et.al. - New York Prentice-Hall 1989 - xi, 155 p. ; 23 cm.
013983768x
88-23174
The Z notation : a reference manual / J. M. Spivey based on the work of J. R.Abrial...et.al. - New York Prentice-Hall 1989 - xi, 155 p. ; 23 cm.
013983768x
88-23174
