Access this book
Other ways to access
Table of contents (14 chapters)
Keywords
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.
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