Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Język

Angielski

Książka Miękka

Kod Libristo: 02031239

Wydawnictwo Cambridge University Press, lipiec 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Cały opis

Kod Libristo: 02031239

152 b

266.97 zł

Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Tarass Boulba Nikolai Wassiljewitsch Gogol

Twarda

76.07 zł

Vetro Cristina Pieropan

Miękka

61.11 zł

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

CD Audio

77.98 zł

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Książka

143.31 zł

PIONERS OH PIONERS CATHER

Książka

151.55 zł

Najmilšie želanie Miroslava Varáčková

Twarda

55.19 zł

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

Miękka

218.09 zł

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Miękka

98.05 zł

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

Twarda

82.29 zł

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Miękka

94.24 zł

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

Miękka

165.70 zł

Ernährung und die gebende Kraft des Menschen Heinz Grill

Miękka

83.70 zł

Mord in Sankt Augustin Kersten Wächtler

Miękka

33.31 zł

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

Miękka

120.13 zł

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

Miękka

180.25 zł

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

Miękka

181.46 zł

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

Miękka

149.04 zł

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

Miękka

115.41 zł

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.