Z notation a reference manual.
Spivey, J.M.
Z notation a reference manual. by J. M. Spivey. - New York Prentice Hall 1989 - Prentice Hall international series in computer science. .
013983768x
0011.6424 / N8912
Z notation a reference manual. by J. M. Spivey. - New York Prentice Hall 1989 - Prentice Hall international series in computer science. .
013983768x
0011.6424 / N8912