{"product_id":"design-specification-and-verification-of-interactive-systems-96-proceedings-of-the-eurographics-workshop-in-namur-belgium-june-5-7-1996-9783211829004","title":"Design, Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996","description":"\u003cp\u003e • Author(s): Francois Bodart\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003eTo manage communication between users and applications it is important to have tools, notations, and methodologies which support the designer's work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280174735511,"sku":"9783211829004","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783211829004.webp?v=1769295552","url":"https:\/\/atlanticbooks.com\/products\/design-specification-and-verification-of-interactive-systems-96-proceedings-of-the-eurographics-workshop-in-namur-belgium-june-5-7-1996-9783211829004","provider":"Atlantic Books","version":"1.0","type":"link"}