The handbook of formal methods in human-computer interaction
著者
書誌事項
The handbook of formal methods in human-computer interaction
（Human-computer interaction series / editors-in-chief, John Karat, Jean Vanderdonckt）
Springer, c2017
大学図書館所蔵 全1件
注記
Includes bibliographical references