Formal methods in human-computer interaction
著者
書誌事項
Formal methods in human-computer interaction
（Formal approaches to computing and information technology (FACIT)）
Springer, c1998
- Berlin : pbk. : acid-free paper
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [347]-361) and indexes