Formal approaches to computing and information technology (FACIT)
| データ種別 | 図書 |
|---|---|
| 出版者 | London ; New York : Springer-Verlag |
子書誌情報を非表示
| 1 | Formal methods in human-computer interaction / Philippe Palanque and Fabio Paternò, eds Berlin : pbk. : acid-free paper. - London ; New York : Springer , c1998 |
書誌詳細を非表示
| 書誌ID | TY20004564 |
|---|---|
| NCID | BA2187111X |
