{"product_id":"z-user-workshop-cambridge-1994-proceedings-of-the-eighth-z-user-meeting-cambridge-29-30-june-1994-9783540198840","title":"Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994","description":"\u003cp\u003e • Author(s): J. P. Bowen\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283724558487,"sku":"9783540198840","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540198840.webp?v=1769305725","url":"https:\/\/atlanticbooks.com\/products\/z-user-workshop-cambridge-1994-proceedings-of-the-eighth-z-user-meeting-cambridge-29-30-june-1994-9783540198840","provider":"Atlantic Books","version":"1.0","type":"link"}