Z User Workshop, Cambridge, 1994
Subtitle: proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994
By: J.P. Bowen and J.A. Hall, (eds.)
Contributors: Bowen, J. P. 1956-; Hall, J. A. 1946 Nov. 7-
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1994
Place of publication: London; New York
Language: eng
Number of pages: 403
Subjects: Z (Computer program language)
Notes: "Published in collaboration with the British Computing Society."

Includes bibliographical references and index.