Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods in Human-Computer Interaction

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

Michael Harrison

Harold Thimbleby

Sprache

Englisch

Buch Broschur

Libristo-Code: 02031239

Verlag Cambridge University Press, Juli 2009

First published in 1990, this book discusses the application of formal methods to the human-computer... Vollständige Beschreibung

Libristo-Code: 02031239

131 b

53.59 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Schnelleinstieg SAP Business Technology Platform (BTP) - Services und Integration Tobias Steckenborn

Buch

29.95 €

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

Hardcover

15.69 €

ABP y los Lenguajes de Programación Ángela Bravo

Broschur

31.09 €

Netratva ki Dor, Safalta ki Aur Kuldeep Gairola

Broschur

19.59 €

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

Broschur

45.19 €

Tarass Boulba Nikolai Wassiljewitsch Gogol

Hardcover

15.59 €

Najmilšie želanie Miroslava Varáčková

Hardcover

11.49 €

Ernährung und die gebende Kraft des Menschen Heinz Grill

Broschur

22.00 €

PIONERS OH PIONERS CATHER

Buch

29.89 €

NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG

Buch

27.49 €

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

Audio CD

15.09 €

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

Broschur

23.19 €

Sur les pas de Ripley - NED 2018 Patricia Highsmith

Broschur

17.99 €

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

Broschur

31.69 €

Roo of the Jungle (ਜੰਗਲ ਦਾ ਰੂ) White Falcon Publishing

Broschur

8.89 €

Mord in Sankt Augustin Kersten Wächtler

Broschur

6.99 €

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

Broschur

23.69 €

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

Broschur

44.99 €

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

Broschur

47.95 €

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

Broschur

29.49 €

D. Johann Peter Eberhards vermischte Abhandlungen aus der Naturlehre, JOHANN PET EBERHARD

Broschur

25.90 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods in Human-Computer Interaction

Autor Michael Harrison, Harold Thimbleby

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 344

EAN 9780521448673

ISBN 0521448670

Libristo-Code 02031239

Verlag Cambridge University Press

Gewicht 600

Abmessungen 242 x 169 x 22

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert