"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...