{"product_id":"formal-methods-in-human-computer-interaction-9780521448673","title":"Formal Methods in Human-Computer Interaction","description":"\u003cp\u003e • Author(s): Michael Harrison | Harold Thimbleby\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Programming Languages - General\u003c\/p\u003e\u003cp\u003eFirst published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Paperback","offer_id":46881769717911,"sku":"9780521448673","price":6017.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521448673.webp?v=1770232389","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-in-human-computer-interaction-9780521448673","provider":"Atlantic Books","version":"1.0","type":"link"}