{"product_id":"z-9780471939733","title":"Z","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eOffers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eTUTORIAL.\u003cbr\u003e \u003cbr\u003e First-Order Logic.\u003cbr\u003e \u003cbr\u003e Set Theory.\u003cbr\u003e \u003cbr\u003e Internal Telephone Directory.\u003cbr\u003e \u003cbr\u003e More About Relations and Schemas.\u003cbr\u003e \u003cbr\u003e Functions.\u003cbr\u003e \u003cbr\u003e Sequences.\u003cbr\u003e \u003cbr\u003e Bags.\u003cbr\u003e \u003cbr\u003e Free Types.\u003cbr\u003e \u003cbr\u003e METHODS OF REASONING.\u003cbr\u003e \u003cbr\u003e Formal Proof.\u003cbr\u003e \u003cbr\u003e Rigorous Proof.\u003cbr\u003e \u003cbr\u003e Immanent Reasoning.\u003cbr\u003e \u003cbr\u003e Reification and Decomposition.\u003cbr\u003e \u003cbr\u003e Floyd-Hoare Logic.\u003cbr\u003e \u003cbr\u003e Getting to Program Code.\u003cbr\u003e \u003cbr\u003e CASE STUDIES.\u003cbr\u003e \u003cbr\u003e Two Small Case Studies.\u003cbr\u003e \u003cbr\u003e Wing's Library Problem.\u003cbr\u003e \u003cbr\u003e Partial Specification of a Text-Editor.\u003cbr\u003e \u003cbr\u003e SPECIFICATION ANIMATION.\u003cbr\u003e \u003cbr\u003e Animation Using Miranda.\u003cbr\u003e \u003cbr\u003e REFERENCE MANUAL.\u003cbr\u003e \u003cbr\u003e Methods of Definition.\u003cbr\u003e \u003cbr\u003e Formal Definitions.\u003cbr\u003e \u003cbr\u003e Rules and Obligations.\u003cbr\u003e \u003cbr\u003e Appendices.\u003cbr\u003e \u003cbr\u003e Bibliography.\u003cbr\u003e \u003cbr\u003e Index.","brand":"John Wiley \u0026 Sons Inc","offers":[{"title":"Default Title","offer_id":49402686341463,"sku":"9780471939733","price":56.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780471939733.jpg?v=1730481232","url":"https:\/\/bookcurl.com\/products\/z-9780471939733","provider":"Book Curl","version":"1.0","type":"link"}