Abstract
With only the mathematics covered so far it is possible to describe a very simple computer system. More realistic systems will need more theory, which will be covered later.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Copyright information
© 1991 David Lightfoot
About this chapter
Cite this chapter
Lightfoot, D. (1991). Using sets to describe a system — a simple example. In: Formal Specification Using Z. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-12144-1_3
Download citation
DOI: https://doi.org/10.1007/978-1-349-12144-1_3
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-54408-2
Online ISBN: 978-1-349-12144-1
eBook Packages: EngineeringEngineering (R0)