Z.
No Customer Reviews
Offers a thorough and comprehensive tutorial introduction to Z, taking as its starting point the practical use of this formal specification language. After briefly explaining what Z is and why it is a good method for specifying software components, covers Z's basic mathematical toolkit, the fundamental ideas of the schema calculus, and the methods of reasoning. Specific case studies illustrate all aspects of Z and the mathematical notations that must be covered. Also discusses how Z specifications can be animated using a high-level modern functional programming language and Prolog. Standard notation is used throughout, and many proofs and fully explained exercises are included. With its helpful appendices and an annotated bibliography that contains many pointers to the ever-increasing literature on Z, this work will serve as a ready reference manual of the most frequently used Z notations
Format:Paperback
Language:English
ISBN:047192489X
ISBN13:9780471924890
Release Date:July 1990
Publisher:Wiley
Length:332 Pages
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
