{"product_id":"way-of-z-cambridge-university-press-9780521559768-practical-programming-with-formal-methods-jonathan-jacky","title":"Way of Z","description":"\u003cp\u003eDiscover the intricacies of formal methods with Jonathan Jacky's insightful book, \u003cstrong\u003eWay of Z\u003c\/strong\u003e, published by Cambridge University Press in 1996. This comprehensive tutorial is designed for experienced programming professionals eager to enhance their skills in applying the Z notation to practical projects.\u003c\/p\u003e\n\n\u003cp\u003eSpanning 372 pages, the book delves into the real-world applications of formal methods, offering a unique perspective on their implementation within the C programming language. Through engaging case studies, Jacky explores vital examples from safety-critical systems, computer graphics, word processing, databases, and object-oriented programming. \u003c\/p\u003e\n\n\u003cp\u003eWhether you are a software engineer or a programming language enthusiast, \u003cstrong\u003eWay of Z\u003c\/strong\u003e serves as an essential guide to mastering formal techniques in software development. Enhance your knowledge and elevate your projects with this invaluable resource.\u003c\/p\u003e","brand":"Jonathan Jacky","offers":[{"title":"Default Title","offer_id":52224240615766,"sku":"9780521559768","price":71.54,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521559768.jpg?v=1767737535","url":"https:\/\/www.bookshop.lt\/products\/way-of-z-cambridge-university-press-9780521559768-practical-programming-with-formal-methods-jonathan-jacky","provider":"Bookshop","version":"1.0","type":"link"}