| Type |  Book |
| ชื่อเรื่อง | Formal Methods in human - computer interaction / Michael, Harrison |
| ผู้แต่ง | Harrison, Michael |
| ISBN | 9780521448673 |
| พิมพลักษณ์ | Cambridge : Cambridge University Press , 2009 |
| รูปเล่ม | 323 p |
| หัวเรื่อง | Formal methods (Computer science) |
| | Human --Computer interaction [] |