Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Език

Английски език

Книга С меки корици

Код Либристо: 02031239

Издателство Cambridge University Press, юли 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Цялото описание

Код Либристо: 02031239

152 b

63.06 €

123.33 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Tarass Boulba Nikolai Wassiljewitsch Gogol

С твърди корици

19.05 € 37.25 лв

Vetro Cristina Pieropan

С меки корици

15.94 € 31.18 лв

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

Аудио компактдиск

20.29 € 39.68 лв

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Книга

35.31 € 69.05 лв

PIONERS OH PIONERS CATHER

Книга

37.17 € 72.70 лв

Najmilšie želanie Miroslava Varáčková

С твърди корици

13.72 € 26.82 лв

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

С меки корици

54.36 € 106.32 лв

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

С меки корици

23.14 € 45.25 лв

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

С твърди корици

20.29 € 39.68 лв

Sur les pas de Ripley - NED 2018 Patricia Highsmith

С меки корици

23.24 € 45.46 лв

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

С меки корици

40.90 € 79.99 лв

Ernährung und die gebende Kraft des Menschen Heinz Grill

С меки корици

20.96 € 41.00 лв

Mord in Sankt Augustin Kersten Wächtler

С меки корици

8.23 € 16.09 лв

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

С меки корици

28.37 € 55.48 лв

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

С меки корици

44.94 € 87.89 лв

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

С меки корици

45.35 € 88.70 лв

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

С меки корици

35.20 € 68.85 лв

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

С меки корици

27.28 € 53.36 лв

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.