{"product_id":"9783540198840","title":"Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994","description":"\u003ch1\u003eZ User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994\u003c\/h1\u003e \u003ch2\u003eBowen, J.P.; Hall, J.A.\u003c\/h2\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-07-04\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540198840\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4471-3452-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 405\u003c\/p\u003e ","brand":"Springer","offers":[{"title":"Default Title","offer_id":44398772748428,"sku":"9783540198840","price":49.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540198840.jpg?v=1755443768","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540198840","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}