Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Brand: Cambridge University Press
SKU: 02031239
Price: 65.09 EUR
Availability: InStock
Author: Michael Harrison
ISBN: 9780521448673

Michael Harrison

Harold Thimbleby

Language

English

Book Paperback

Libristo code: 02031239

Publishers Cambridge University Press, July 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Full description

Libristo code: 02031239

159 b

65.09 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

Tarass Boulba Nikolai Wassiljewitsch Gogol

Hardback

18.79 €

Vetro Cristina Pieropan

Paperback

15.69 €

educazione delle farfalle. Letto da Angela Bruca con Alberto Angrisano. Audiolibro. CD Audio formato MP3 Donato Carrisi

Audio CD

20.09 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Book

34.89 €

PIONERS OH PIONERS CATHER

Book

36.69 €

Najmilšie želanie Miroslava Varáčková

Hardback

13.59 €

WEIRD. La mentalità occidentale e il futuro del mondo Joseph Henrich

Paperback

53.69 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Paperback

23.99 €

Les fauves - tome 2 Le prince noir Lorànt Deutsch

Hardback

20.09 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Paperback

22.99 €

PCF 5 Exemplaires J'aime mon école C'est trop injuste ! Elodie Richard

Paperback

40.39 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

Paperback

22.00 €

Mord in Sankt Augustin Kersten Wächtler

Paperback

8.09 €

BABADADA, Plattduutsch (Holstein) - latviesu valoda, Bildwoeoerbook - Attēlu vārdnīca Babadada GmbH

Paperback

29.49 €

Sps-Programmierung in Anweisungsliste Nach Iec 61131-3 Hans-Joachim Adam

Paperback

44.99 €

Fruhe Hilfen. Modellprojekte in den Landern zum Schutz vor Kindeswohlgefahrdung Denise Hornberger

Paperback

47.95 €

Etudes Sur l'Histoire de l'Humanite. Le Christianisme Laurent-F

Paperback

36.39 €

Nouvelles Lecons Sur La Science Du Langage: Cours Professe A l'Institution Royale de la Tome 2 MULLER-F

Paperback

28.19 €

First 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.