Access this book
Other ways to access
About this book
Covers the main areas of formal specification in Z at an introductory level. The explanations of the mathematics of Z are interleaved with the development of an example specification. Exercises are included throughout and sample solutions are provided.
Similar content being viewed by others
Keywords
Table of contents (14 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Formal Specification Using Z
Authors: David Lightfoot
Series Title: Computer Science Series
DOI: https://doi.org/10.1007/978-1-349-12144-1
Publisher: Red Globe Press London
eBook Packages: Engineering, Engineering (R0)
Copyright Information: David Lightfoot 1991
Edition Number: 1
Number of Pages: XI, 164
Additional Information: Previously published under the imprint Palgrave
Topics: Software Engineering/Programming and Operating Systems