Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Língua

Inglês

Livro Capa mole

Código Libristo: 02031239

Editoras Cambridge University Press, julho 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Descrição completa

Código Libristo: 02031239

131 b

54.28 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

32.40 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

Capa mole

17.41 €

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

CD de áudio

15.49 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Livro

27.84 €

PIONERS OH PIONERS CATHER

Livro

32.10 €

Najmilšie želanie Miroslava Varáčková

Livro de capa dura

11.64 €

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

Capa mole

45.77 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Capa mole

19.84 €

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

Livro de capa dura

16.09 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Capa mole

18.42 €

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

Capa mole

37.87 €

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

Capa mole

37.77 €

Mord in Sankt Augustin Kersten Wächtler

Capa mole

7.08 €

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

Capa mole

23.99 €

Vetro Cristina Pieropan

Capa mole

12.14 €

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

Capa mole

23.49 €

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.