Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and a corresponding increase in the publication of technical papers and reports of work with Z. The annual Z user meetings offer an excellent focal point for work published on Z, and provide a forum for the discussion of new developments. Z user workshop, York 1991 , provides an overview of new developments in theoretical and practical aspects of Z. It will be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers.