Terug Terug

Formal Methods in Human-Computer Interaction Series Number 2: Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Author: Harrison, Michael

Auteur: Harrison, Michael

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Harrison, Michael

Engels
Paperback
9780521448673
23 juli 2009
344 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 23 juli 2009
Aantal pagina's: 344
Illustraties: Nee

Betrokkenen

Hoofdauteur: Harrison, Michael
Hoofdredacteur: Michael Harrison
Tweede Redacteur: Harold Thimbleby
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 18 mm
Product lengte: 229 mm
Studieboek: Ja
Verpakking breedte: 171 mm
Verpakking hoogte: 19 mm
Verpakking lengte: 241 mm
Verpakkingsgewicht: 510 g

EAN

EAN: 9780521448673

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Programmeren

Programmeertalen

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.