Media type: Book Title: The handbook of formal methods in human-computer interaction Contributor: Weyers, Benjamin [Editor]; Bowen, Judy [Editor]; Dix, Alan [Editor]; Palanque, Philippe [Editor] Published: Cham: Springer International Publishing, 2017 Published in: Human-Computer Interaction Series Extent: xiv, 575 Seiten; Illustrationen, Diagramme Language: English DOI: 10.1007/9783319518381 ISBN: 9783319518374; 9783319847542; 3319518372 Identifier: RVK notation: ST 281 : Einzelne Benutzerschnittstellen (A-Z) Origination: University thesis: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 281 W547 Item ID: 34776826 Status: Loanable