Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 02031239

Nakladnici Cambridge University Press, srpanj 2009

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

Libristo kod: 02031239

152 b

63.08 €

Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Tarass Boulba Nikolai Wassiljewitsch Gogol

Tvrdi uvez

17.91 €

Vetro Cristina Pieropan

Meki uvez

14.47 €

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

Audio CD

18.42 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Knjiga

32.29 €

PIONERS OH PIONERS CATHER

Knjiga

34.42 €

Najmilšie želanie Miroslava Varáčková

Tvrdi uvez

12.34 €

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

Meki uvez

51.53 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Meki uvez

23.18 €

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

Tvrdi uvez

18.62 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Meki uvez

21.25 €

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

Meki uvez

37.46 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

Meki uvez

19.74 €

Mord in Sankt Augustin Kersten Wächtler

Meki uvez

7.89 €

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

Meki uvez

28.34 €

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

Meki uvez

42.52 €

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

Meki uvez

42.82 €

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

Meki uvez

35.23 €

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

Meki uvez

27.23 €

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.