Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Lingua

Inglese

Libro In brossura

Codice Libristo: 02031239

Casa editrice Cambridge University Press, luglio 2009

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

Codice Libristo: 02031239

131 b

53.59 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Schnelleinstieg SAP Business Technology Platform (BTP) - Services und Integration Tobias Steckenborn

Libro

28.09 €

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

Rigido

15.69 €

ABP y los Lenguajes de Programación Ángela Bravo

In brossura

35.29 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

In brossura

19.59 €

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

In brossura

53.69 €

Tarass Boulba Nikolai Wassiljewitsch Gogol

Rigido

17.69 €

Najmilšie želanie Miroslava Varáčková

Rigido

11.49 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

In brossura

19.49 €

PIONERS OH PIONERS CATHER

Libro

32.39 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Libro

37.79 €

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

CD audio

16.06 €

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

In brossura

23.19 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

In brossura

17.99 €

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

In brossura

31.79 €

Roo of the Jungle (ਜੰਗਲ ਦਾ ਰੂ) White Falcon Publishing

In brossura

8.89 €

Mord in Sankt Augustin Kersten Wächtler

In brossura

7.79 €

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

In brossura

23.69 €

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

In brossura

41.99 €

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

In brossura

44.79 €

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

In brossura

29.49 €

D. Johann Peter Eberhards vermischte Abhandlungen aus der Naturlehre, JOHANN PET EBERHARD

In brossura

22.99 €

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.