{"product_id":"understanding-z-cambridge-university-press-9780521054140-a-specification-language-and-its-formal-semantics-j-m-spivey","title":"Understanding Z","description":"\u003cp\u003eDelve into the world of formal specification with \"Understanding Z\" by J. M. Spivey, published in 2008 by Cambridge University Press. This insightful paperback, spanning 140 pages, explores the Z notation—a powerful language designed for expressing mathematical specifications in computing systems. Spivey provides a comprehensive understanding of Z by establishing a formal semantics that underpins its precision as a specification language. This book not only clarifies the intricacies of Z specifications but also offers a standard framework that enhances your grasp of this essential programming language. Whether you are a student, researcher, or professional in the field of computer science, \"Understanding Z\" equips you with the knowledge to apply Z in your projects effectively. Grab your copy today and enhance your programming language repertoire!\u003c\/p\u003e","brand":"J. M. Spivey","offers":[{"title":"Default Title","offer_id":52225184596310,"sku":"9780521054140","price":43.65,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521054140.jpg?v=1767738702","url":"https:\/\/www.bookshop.lt\/products\/understanding-z-cambridge-university-press-9780521054140-a-specification-language-and-its-formal-semantics-j-m-spivey","provider":"Bookshop","version":"1.0","type":"link"}