Z User Workshop, Cambridge 1994
Subtitle: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994
By: edited by J.P. Bowen, J.A. Hall
Contributors: Hall, J. A. (John Ainger)
Series: Workshops in Computing, 1431-1682; Workshops in computing
Publisher: Springer London
Published: 1994
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 405
ISBN-13: 9781447134527