{"product_id":"z-user-workshop-cambridge-1994-proceedings-of-the-eighth-z-user-meeting-cambridge-29-30-june-1994-von-j-p-bowen-j-a-hall-hrsg","title":"Z User Workshop, Cambridge 1994","description":"This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. \u003cb\u003eZ User\u003c\/b\u003e \u003cb\u003eWorkshop, Cambridge 1994\u003c\/b\u003e provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540198840\"\u003e\u003ch3\u003eProceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540198840","offer_id":39433045540957,"sku":"9783540198840","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/89339c7a-d1e9-4dc3-8b10-b875c468690b.jpg?v=1759387495","url":"https:\/\/shop.autorenwelt.de\/products\/z-user-workshop-cambridge-1994-proceedings-of-the-eighth-z-user-meeting-cambridge-29-30-june-1994-von-j-p-bowen-j-a-hall-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}