The Z notation : a reference manual /

Saved in:
Bibliographic Details
Main Author: Spivey, J. M.
Other Authors: Abrial, J. R.
Format: Book
Language:English
Published: Englewood Cliffs, N.J. : Prentice Hall, 1989.
Series:Prentice-Hall international series in computer science.
Subjects:

CARM 1 Store

Holdings details from CARM 1 Store
Copy 1 Available  Place a Hold