{"product_id":"design-specification-and-verification-of-interactive-systems-97-proceedings-of-the-eurographics-workshop-in-granada-spain-june-4-6-1997-von-michael-d-harrison-juan-c-torres-hrsg","title":"Design, Specification and Verification of Interactive Systems ’97","description":"An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783211830550\"\u003e\u003ch3\u003eProceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783211830550","offer_id":39425172144221,"sku":"9783211830550","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b91e5614-d145-48ca-8b89-527658f536a8.jpg?v=1763444605","url":"https:\/\/shop.autorenwelt.de\/products\/design-specification-and-verification-of-interactive-systems-97-proceedings-of-the-eurographics-workshop-in-granada-spain-june-4-6-1997-von-michael-d-harrison-juan-c-torres-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}