{"product_id":"formal-methods-in-human-computer-interaction-cambridge-university-press-9780521448673-michael-harrison","title":"Formal Methods in Human-Computer Interaction","description":"\u003cp\u003eExplore the intersection of technology and user experience with \u003cstrong\u003eFormal Methods in Human-Computer Interaction\u003c\/strong\u003e by \u003cstrong\u003eMichael Harrison\u003c\/strong\u003e. First published in 1990 and updated in 2009 by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e, this insightful paperback spans 344 pages, delving into the essential application of formal methods to enhance human-computer interfaces. \u003c\/p\u003e \u003cp\u003eThis comprehensive guide covers crucial topics such as system specification, construction from specifications, and the abstraction of existing systems. Each chapter is designed to illuminate both the theoretical foundations and practical implications of these methods, making it a valuable resource for researchers, practitioners, and students alike. \u003c\/p\u003e \u003cp\u003eWhether you are looking to deepen your understanding of human-computer interaction or seeking to improve system design, Harrison’s work offers a thorough exploration of these vital concepts. Don’t miss the opportunity to enrich your knowledge in this ever-evolving field!\u003c\/p\u003e","brand":"Michael Harrison","offers":[{"title":"Default Title","offer_id":52244023411030,"sku":"9780521448673","price":54.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521448673.jpg?v=1767767483","url":"https:\/\/www.bookshop.ee\/products\/formal-methods-in-human-computer-interaction-cambridge-university-press-9780521448673-michael-harrison","provider":"Bookshop","version":"1.0","type":"link"}