Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02031239

Založba Cambridge University Press, julij 2009

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

Koda Libristo: 02031239

145 b

60.14 €

Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Tarass Boulba Nikolai Wassiljewitsch Gogol

Trda

16.90 €

Vetro Cristina Pieropan

Mehka

13.66 €

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

Zvočni CD

17.41 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Knjiga

30.77 €

PIONERS OH PIONERS CATHER

Knjiga

33.00 €

Najmilšie želanie Miroslava Varáčková

Trda

11.64 €

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

Mehka

48.60 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Mehka

22.06 €

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

Trda

17.71 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Mehka

20.34 €

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

Mehka

35.74 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

Mehka

18.62 €

Mord in Sankt Augustin Kersten Wächtler

Mehka

7.48 €

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

Mehka

26.93 €

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

Mehka

40.19 €

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

Mehka

40.29 €

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

Mehka

33.61 €

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

Mehka

26.01 €

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.