{"product_id":"understanding-z-a-specification-language-and-its-formal-semantics-cambridge-tracts-in-theoretical-computer-science-series-number-3-0521054141","title":"Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0521054141\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Spivey, J. M.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eBy 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. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51939564257568,"sku":"NEW0521054141","price":57.6,"currency_code":"USD","in_stock":false}],"url":"https:\/\/miakarts.com\/products\/understanding-z-a-specification-language-and-its-formal-semantics-cambridge-tracts-in-theoretical-computer-science-series-number-3-0521054141","provider":"Miakarts Books","version":"1.0","type":"link"}