Recomienda este artículo a tus amigos:
Formal Methods in Human-computer Interaction - Formal Approaches to Computing & Information Technology (Facit) Philippe Palanque Softcover Reprint of the Original 1st Ed. 1998 edition
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de octubre de 1997 |
| ISBN13 | 9783540761587 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 376 |
| Dimensiones | 156 × 234 × 20 mm · 603 g |
| Lengua | Alemán |
| Editor | Palanque, Philippe |
| Editor | Paterno, Fabio |
Mas por Philippe Palanque
Mostrar todoMere med samme udgiver
Ver todo de Philippe Palanque ( Ej. Paperback Book )