Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Limba

engleză

Carte Carte broșată

Codul Libristo: 02031239

Editura Cambridge University Press, iulie 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Descrierea completă

Codul Libristo: 02031239

159 b

344.74 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Tarass Boulba Nikolai Wassiljewitsch Gogol

Copertă tare

99.50 lei

Vetro Cristina Pieropan

Carte broșată

79.35 lei

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

Audio CD

101.27 lei

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Carte

176.88 lei

PIONERS OH PIONERS CATHER

Carte

187.06 lei

Najmilšie želanie Miroslava Varáčková

Copertă tare

68.13 lei

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

Carte broșată

284.18 lei

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Carte broșată

127.13 lei

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

Copertă tare

101.68 lei

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Carte broșată

116.33 lei

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

Carte broșată

204.62 lei

Ernährung und die gebende Kraft des Menschen Heinz Grill

Carte broșată

109.68 lei

Mord in Sankt Augustin Kersten Wächtler

Carte broșată

42.99 lei

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

Carte broșată

155.90 lei

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

Carte broșată

234.95 lei

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

Carte broșată

237.03 lei

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

Carte broșată

192.46 lei

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

Carte broșată

149.05 lei

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.