{"product_id":"the-object-z-specification-language-von-graeme-smith","title":"The Object-Z Specification Language","description":"\n                                Object-Z is an object-oriented extension of the formal  specification language Z. It adds to Z notions of classes and objects,  and inheritance and polymorphism. By extending Z's semantic basis, it  enables the specification of systems as collections of independent  objects in which self and mutual referencing are possible. \n                \n                \u003cbr\u003e\n                                  \n                \n                \u003cem\u003eThe Object-Z Specification Language\u003c\/em\u003e\n                                 presents a comprehensive  description of Object-Z including discussions of semantic issues,  definitions of all language constructs, type rules and other rules of  usage, specification guidelines, and a full concrete syntax. It will  enable you to confidently construct Object-Z specifications and is  intended as a reference manual to keep by your side as you use and  learn to use Object-Z. \n                \n                \u003cbr\u003e\n                                  \n                \n                \u003cem\u003eThe Object-Z Specification Language\u003c\/em\u003e\n                                 is suitable as a textbook or  as a secondary text for a graduate-level course, and as a reference  for researchers and practitioners in industry.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780792386841\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781461374015\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9780792386841","offer_id":51398930310,"sku":"9780792386841","price":213.99,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9781461374015","offer_id":39415613161565,"sku":"9781461374015","price":213.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/894dcc32-f4be-41d3-8c4f-a479b1212519.jpg?v=1765862536","url":"https:\/\/shop.autorenwelt.de\/en\/products\/the-object-z-specification-language-von-graeme-smith","provider":"Autorenwelt Shop","version":"1.0","type":"link"}