Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02031239

Editores Cambridge University Press, julio 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Descripción completa

Código Libristo: 02031239

159 b

65.09 €

Almacenamiento externo Envío en 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

Tarass Boulba Nikolai Wassiljewitsch Gogol

Tapa dura

19.79 €

Vetro Cristina Pieropan

Tapa blanda

16.09 €

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

CD de audio

20.49 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Libro

32.49 €

PIONERS OH PIONERS CATHER

Libro

35.89 €

Najmilšie želanie Miroslava Varáčková

Tapa dura

13.89 €

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

Tapa blanda

56.49 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Tapa blanda

23.99 €

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

Tapa dura

19.59 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Tapa blanda

22.39 €

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

Tapa blanda

39.29 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

Tapa blanda

21.89 €

Mord in Sankt Augustin Kersten Wächtler

Tapa blanda

8.49 €

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

Tapa blanda

29.49 €

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

Tapa blanda

46.69 €

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

Tapa blanda

47.29 €

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

Tapa blanda

36.39 €

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

Tapa blanda

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.