Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods in Human-Computer Interaction

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods in Human-Computer Interaction Michael Harrison
Libristo-code: 02031239
Uitgeverij Cambridge University Press, juli 2009
First published in 1990, this book discusses the application of formal methods to the human-computer... Volledige beschrijving
? points 152 b
62.89 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Tarass Boulba Nikolai Wassiljewitsch Gogol / Boek Gebonden (harde band)
common.buy 17.86 €
Vetro Cristina Pieropan / Boek Gebonden (paperback)
common.buy 15.14 €
educazione delle farfalle. Letto da Angela Bruca con Alberto Angrisano. Audiolibro. CD Audio formato MP3 Donato Carrisi / Audio Audio cd
common.buy 19.28 €
NUREMBERG, LA BATALLA DE LAS IMAGENES SYLVIE LINDEPERG / Boek Boek
common.buy 33.71 €
PIONERS OH PIONERS CATHER / Boek Boek
common.buy 35.63 €
Najmilšie želanie Miroslava Varáčková / Boek Gebonden (harde band)
common.buy 13.01 €
WEIRD. La mentalità occidentale e il futuro del mondo Joseph Henrich / Boek Gebonden (paperback)
common.buy 51.38 €
Netratva ki Dor, Safalta ki Aur Kuldeep Gairola / Boek Gebonden (paperback)
common.buy 23.11 €
Les fauves - tome 2 Le prince noir Lorànt Deutsch / Boek Gebonden (harde band)
common.buy 19.38 €
Sur les pas de Ripley - NED 2018 Patricia Highsmith / Boek Gebonden (paperback)
common.buy 22.20 €
PCF 5 Exemplaires J'aime mon école C'est trop injuste ! Elodie Richard / Boek Gebonden (paperback)
common.buy 39.07 €
Ernährung und die gebende Kraft des Menschen Heinz Grill / Boek Gebonden (paperback)
common.buy 19.68 €
Mord in Sankt Augustin Kersten Wächtler / Boek Gebonden (paperback)
common.buy 7.87 €
BABADADA, Plattduutsch (Holstein) - latviesu valoda, Bildwoeoerbook - Attēlu vārdnīca Babadada GmbH / Boek Gebonden (paperback)
common.buy 28.26 €
Sps-Programmierung in Anweisungsliste Nach Iec 61131-3 Hans-Joachim Adam / Boek Gebonden (paperback)
common.buy 42.40 €
Fruhe Hilfen. Modellprojekte in den Landern zum Schutz vor Kindeswohlgefahrdung Denise Hornberger / Boek Gebonden (paperback)
common.buy 42.70 €
Etudes Sur l'Histoire de l'Humanite. Le Christianisme Laurent-F / Boek Gebonden (paperback)
common.buy 35.13 €
Nouvelles Lecons Sur La Science Du Langage: Cours Professe A l'Institution Royale de la Tome 2 MULLER-F / Boek Gebonden (paperback)
common.buy 27.15 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods in Human-Computer Interaction
Auteur Michael Harrison, Harold Thimbleby
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 344
EAN 9780521448673
ISBN 0521448670
Libristo-code 02031239
Uitgeverij Cambridge University Press
Gewicht 600
Afmetingen 242 x 169 x 22

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Introduction to Greek Epigraphy E. S. RobertsE. A. Gardner / Boek Gebonden (paperback)
common.buy 67.24 €
Texas Lightning Gerry Bartlett / Boek Gebonden (paperback)
common.buy 13.12 €
AN AUTOPSY OF AMERICAN ALTRUISM Bosco Mutarambirwa / Boek Gebonden (paperback)
common.buy 25.03 €
Way of the Warrior Saint Christopher Salamy / Boek Gebonden (paperback)
common.buy 14.23 €
The Aardvark Venus: New and Selected Poems, 1961 - 2020 Rochelle Owens / Boek Gebonden (paperback)
common.buy 13.92 €
Kakuro Puzzle Books For Adults - 200 Mind Teasers Puzzle - Large Print - 6x6 Grid Variant 3 - Book 4 Panda Puzzle Book / Boek Gebonden (paperback)
common.buy 11.20 €
Learning Chest Imaging John C. Pedrozo Pupo / Boek Gebonden (paperback)
common.buy 59.97 €
Philosophy of Cancer Marta Bertolaso / Boek Gebonden (paperback)
common.buy 113.08 €
Lord Krishna's Cuisine YAMUNA DEVI / Boek Gebonden (harde band)
common.buy 57.04 €
Dr. J.J.I. von Doellinger's Fables Respecting the Popes in the Middle Ages Johann Joseph Ignaz von Döllinger / Boek Gebonden (paperback)
common.buy 28.46 €
Never Say Good-Bye Autumn Woods / Boek Gebonden (paperback)
common.buy 19.28 €
Letters Between Frederic II And Mess. D'Alembert, De Condorcet, Grimm And D'Arget (1789) Frederick II King Of Prussia / Boek Gebonden (paperback)
common.buy 40.07 €
TVA and the Tellico Dam William Bruce Wheeler / Boek Gebonden (paperback)
common.buy 32.60 €
Spot Cheese Market United States Government Accountability / Boek Gebonden (paperback)
common.buy 14.53 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?