Tell your friends about this item:
Formal Methods in Human-computer Interaction - Formal Approaches to Computing & Information Technology (Facit) Philippe Palanque Softcover Reprint of the Original 1st Ed. 1998 edition
Price
HK$ 516
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping May 27 - Jun 8
Our customers say:
Add to your iMusic wish list
Formal Methods in Human-computer Interaction - Formal Approaches to Computing & Information Technology (Facit)
Philippe Palanque
Formal methods improve the development process and quality assurance in system design and implementation. This text examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods offer useful support in usability evaluation.
376 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 29, 1997 |
| ISBN13 | 9783540761587 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 376 |
| Dimensions | 156 × 234 × 20 mm · 603 g |
| Language | German |
| Editor | Palanque, Philippe |
| Editor | Paterno, Fabio |
![Cover for Philippe Palanque · Human Error, Safety and Systems Development: Ifip 18th World Computer Congress Tc13 / Wg13.5 7th Working Conference on Human Error, Safety and Systems (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/879/9781441954879.jpg?philippe-palanque-2010-human-error-safety-and-systems-development-ifip-18th-world-computer-congress-tc13-wg13-5-7th-working-conference-on-human-error-safety-and-systems-paperback-book&class=scaled&v=1420193958)
![Cover for Philippe Palanque · Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/949/9783540747949.jpg?philippe-palanque-2007-human-computer-interaction-interact-2007-11th-ifip-tc-13-international-conference-rio-de-janeiro-brazil-september-10-14-2007-proceedings-part-i-information-systems-and-applications-incl-internet-web-and-hci-paperback-book&class=scaled&v=1541543159)