{"product_id":"z-an-introduction-to-formal-methods-paperback-softback-9780471939733","title":"Z; An Introduction to Formal Methods (Paperback \/ softback) 9780471939733","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eZ\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eAn Introduction to Formal Methods\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eAntoni Diller (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780471939733, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback \/ softback, published 3 May 1994\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e400 pages\u003cbr\u003e24.7 x 16.8 x 2.3 cm, 0.68 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\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.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Computer programming \/ software development [\u003ca title=\"See our other books on Computer programming \/ software development\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Computer%20programming%20\/%20software%20development%20%5BUM%5D%22\"\u003eUM\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley","offers":[{"title":"Brand New","offer_id":52511739216152,"sku":"9780471939733","price":47.49,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9780471939733.jpg?v=1786609284","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/z-an-introduction-to-formal-methods-paperback-softback-9780471939733","provider":"Freshly Printed Books","version":"1.0","type":"link"}