The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"The Handbook of Formal Methods in Human-Computer Interaction" von Philippe Palanque ist ein umfassendes Werk, das sich mit der Anwendung formaler Methoden im Bereich der Mensch-Computer-Interaktion (HCI) befasst. Das Buch bietet einen detaillierten Überblick über verschiedene formale Ansätze und Techniken, die zur Verbesserung der Zuverlässigkeit und Effizienz von interaktiven Systemen eingesetzt werden können. Es behandelt Themen wie Modellierung, Spezifikation und Verifikation von HCI-Systemen und beleuchtet, wie diese Methoden zur Entwicklung benutzerfreundlicher und sicherer Schnittstellen beitragen können. Zudem werden Fallstudien präsentiert, die die praktische Anwendung dieser Methoden in realen Projekten veranschaulichen. Das Buch richtet sich an Forscher, Praktiker und Studierende im Bereich HCI, die ein tieferes Verständnis für den Einsatz formaler Methoden erlangen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
