Formal Methods in Human-Computer Interaction
Edición de la obra Formal Methods in Human-Computer Interaction
| Autor | Philippe Palanque, Fabio Paterno |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9781447134251 |
| Número de Cutter | P154f |