{"product_id":"the-way-of-z-practical-programming-with-formal-methods-paperback-9780521559768","title":"The Way of Z; Practical Programming with Formal Methods (Paperback) 9780521559768","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eThe Way of Z\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003ePractical Programming with Formal Methods\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eA self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eJonathan Jacky (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521559768, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 28 November 1996\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e372 pages\u003cbr\u003e23.4 x 17.8 x 2.3 cm, 0.789 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'… especially good for more advanced students … this book will be inspirational and provide practical guidance to real software engineers.' Computer Journal\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePart I. Why Z?: 1. Formal methods\u003cbr\u003e 2. Why use formal methods?\u003cbr\u003e 3. Formal methods and project management\u003cbr\u003e Part II. Introducing Z: 4. What is Z?\u003cbr\u003e 5. A first example in Z\u003cbr\u003e 6. From prose to Z: control console\u003cbr\u003e 7. Introducing schemas: text editor\u003cbr\u003e Part III. Elements of Z: 8. Elements\u003cbr\u003e 9. Structure\u003cbr\u003e 10. Logic\u003cbr\u003e 11. Synthesis\u003cbr\u003e 12. Schemas and schema calculus\u003cbr\u003e 13. Schema types and bindings\u003cbr\u003e 14. Generic definitions and free types\u003cbr\u003e 15. Formal reasoning\u003cbr\u003e Part IV. Studies in Z: 16. Document control system\u003cbr\u003e 17. Text processing\u003cbr\u003e 18. Eight queens\u003cbr\u003e 19. Computer graphics and computational geometry\u003cbr\u003e 20. Rule-based programming\u003cbr\u003e 21. Graphical user interface\u003cbr\u003e 22. Safety-critical protection system\u003cbr\u003e 23. Modelling large systems\u003cbr\u003e 24. Concurrency and real time\u003cbr\u003e 25. Object-oriented programming\u003cbr\u003e Part V. From Z to Code: 26. Program derivation and formal verification\u003cbr\u003e 27. From Z to code.\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":46003358466328,"sku":"9780521559768","price":48.67,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521559768i_8fdb39fe-d391-41ba-973b-acfc19ed75b7.jpg?v=1691369784","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/the-way-of-z-practical-programming-with-formal-methods-paperback-9780521559768","provider":"Freshly Printed Books","version":"1.0","type":"link"}