{"product_id":"design-specification-and-verification-of-interactive-systems-99-springer-verlag-gmbh-9783211834053-proceedings-of-the-eurographics-workshop-in-braga-portugal-june-2-4-1999-david-j-duke","title":"Design, Specification and Verification of Interactive Systems ’99","description":"\u003cp\u003eExplore the intricate world of interactive systems with \u003cstrong\u003eDesign, Specification and Verification of Interactive Systems ’99\u003c\/strong\u003e by \u003cstrong\u003eDavid J Duke\u003c\/strong\u003e. This essential volume presents the formal proceedings from the Eurographics Workshop held at the University of Minho in Braga, Portugal, from June 2 to June 4, 1999. Spanning \u003cstrong\u003e282 pages\u003c\/strong\u003e, this softcover reprint of the original first edition offers invaluable insights into the design, specification, and verification processes crucial for developing robust interactive systems.\u003c\/p\u003e \u003cp\u003ePublished by \u003cstrong\u003eSpringer Verlag GmbH\u003c\/strong\u003e, this book delves into key topics such as operating systems, graphical user interfaces (GUIs), and virtual reality, making it a must-have for professionals and students alike in the fields of computer graphics and programming. Enhance your understanding of user interface design and the complexities of interactive systems with this comprehensive guide.\u003c\/p\u003e","brand":"David J Duke","offers":[{"title":"Default Title","offer_id":52246488645974,"sku":"9783211834053","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783211834053.jpg?v=1767771354","url":"https:\/\/www.englishbook.fi\/products\/design-specification-and-verification-of-interactive-systems-99-springer-verlag-gmbh-9783211834053-proceedings-of-the-eurographics-workshop-in-braga-portugal-june-2-4-1999-david-j-duke","provider":"Bookshop","version":"1.0","type":"link"}