Abstract
This appendix provides some details on how to access information on Z, particularly electronically. It has been generated from a message that is updated and sent out monthly on international computer networks.
This on-line information is available on-line on the following World Wide Web (WWW) hypertext page where it is split into convenient sections and updated each month: http://www.cis.ohio-state.edu/hypertext/faq/usenet/z-faq/faq.html
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bowen, J.P. (1997). Comp.specification.z and Z FORUM frequently asked questions. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds) ZUM '97: The Z Formal Specification Notation. ZUM 1997. Lecture Notes in Computer Science, vol 1212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027300
Download citation
DOI: https://doi.org/10.1007/BFb0027300
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62717-3
Online ISBN: 978-3-540-68490-9
eBook Packages: Springer Book Archive