Hardcover
ISBN: 978-0-521-37202-2
ISBN-10: 0-521-37202-X
|
|
Hardcover
ISBN: 978-0-521-37202-2 ISBN-10: 0-521-37202-X |
| See also (possibly by other authors): | ||
| 2009 | Paperback | Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) |