Access this book
Other ways to access
Table of contents (14 chapters)
Keywords
About this book
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
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Pharma, Telecommunications