{"product_id":"9783211830550","title":"Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997","description":"\u003ch1\u003eDesign, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997\u003c\/h1\u003e \u003ch2\u003eHarrison, Michael D.; Torres, Juan C.\u003c\/h2\u003e \u003cp\u003eAn 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1997-11-11\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003e ISBN-10: 9783211830550\u003c\/p\u003e \u003cp\u003eISBN-13: 9783211830550\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-7091-6878-3\u003c\/p\u003e \u003cp\u003eDimensions: 244cm x170cm\u003c\/p\u003e \u003cp\u003ePages: 320\u003c\/p\u003e ","brand":"Springer","offers":[{"title":"Default Title","offer_id":44358543081612,"sku":"9783211830550","price":49.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783211830550_16a4718d-9e0d-4407-9d26-3ffceb6f7a93.jpg?v=1755108206","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783211830550","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}