Items related to Z: An Introduction to Formal Methods
Synopsis
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
"synopsis" may belong to another edition of this title.
Search results for Z: An Introduction to Formal Methods
Stock Image
Z: An Introduction to Formal Methods
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR000933414
Buy Used
US$ 13.16
US$ 7.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Z.: An Introduction to Formal Methods
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Befriedigend. 332 Seiten; 9780471924890.4 Gewicht in Gramm: 1. Seller Inventory # 1504560
Buy Used
US$ 9.18
US$ 69.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available