000 00724nmm a2200241Ia 4500
001 EBK12773
005 20250328145353.0
008 250328s9999 xx 000 0 und d
020 _a9783319518381
100 _aBenjamin Weyers
245 4 _aThe Handbook of Formal Methods in Human-Computer Interaction
250 _a1st ed. 2017
260 _bSpringer
260 _c2017
490 _aHuman�Computer Interaction Series
650 _aComputer Science
650 _aUser Interfaces and Human Computer Interaction
700 _a Alan Dix
700 _a Judy Bowen
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-319-51838-1
942 _cEBK
999 _c160778
_d160778