Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... Formal Methods for Interactive Systems (Computers and People)von Alan Dix
Keine Tags Keine Lädt ...
Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest. Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems. Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeineBeliebte UmschlagbilderKeine
Google Books — Lädt ... GenresMelvil Decimal System (DDC)004.2Information Computer Science; Knowledge and Systems Computer science Computer ArchitecturesKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt: Keine Bewertungen.Bist das du?Werde ein LibraryThing-Autor. |