Abstract
This chapter introduces the extended mathematical language of Z known as the schema language. A rigorous introduction to schema language is beyond the scope of this text and the interested reader is referred to [57] and [56] for a full definition. What follows is an informal introduction to the language, mostly through small examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Nissanke, N. (1999). Schema Language. In: Formal Specification. Springer, London. https://doi.org/10.1007/978-1-4471-0791-0_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0791-0_2
Publisher Name: Springer, London
Print ISBN: 978-1-85233-002-6
Online ISBN: 978-1-4471-0791-0
eBook Packages: Springer Book Archive