{"product_id":"understanding-z-a-specification-language-and-its-formal-semantics-paperback-9780521054140","title":"Understanding Z; A Specification Language and its Formal Semantics (Paperback \/ softback) 9780521054140","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eUnderstanding Z\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eA Specification Language and its Formal Semantics\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eThis book provides a standard framework for understanding Z specifications.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eJ. M. Spivey (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521054140, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback \/ softback, published 21 January 2008\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e140 pages\u003cbr\u003e23.9 x 17 x 0.8 cm, 0.234 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail...\"   Zentralblatt fur Mathematik\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThe Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e 1. Introduction\u003cbr\u003e 2. Basic concepts\u003cbr\u003e 3. The semantics of Z\u003cbr\u003e 4. Discussion\u003cbr\u003e 5. Studies in Z style\u003cbr\u003e References\u003cbr\u003e Summary of notation\u003cbr\u003e Index of definitions.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Software Engineering [\u003ca title=\"See our other books on Software Engineering\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Software%20Engineering%20%5BUMZ%5D%22\"\u003eUMZ\u003c\/a\u003e], Programming \u0026amp; scripting languages: general [\u003ca title=\"See our other books on Programming \u0026amp; scripting languages: general\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Programming%20\u0026amp;%20scripting%20languages:%20general%20%5BUMX%5D%22\"\u003eUMX\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46005560475928,"sku":"9780521054140","price":33.39,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521054140i_2b9a1ee4-994a-4c11-bf94-853a1aa71e17.jpg?v=1694968768","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/understanding-z-a-specification-language-and-its-formal-semantics-paperback-9780521054140","provider":"Freshly Printed Books","version":"1.0","type":"link"}