Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 29. oktobra 1997 |
| ISBN13 | 9783540761587 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 376 |
| Dimenzije | 156 × 234 × 20 mm · 603 g |
| Jezik | Nemščina |
| Urednik | Palanque, Philippe |
| Urednik | Paterno, Fabio |
Več od Philippe Palanque
Prikaži vseMere med samme udgiver
Ogled vseh Philippe Palanque ( Na primer Paperback Book )