Formal Methods in Human-Computer Interaction
de Philippe Palanque, Fabio Paterno
Ediciones (2)
- Formal Methods in Human-Computer Interaction (2012)
Springer · inglés · ISBN 9781447134251
- Formal Methods in Human-Computer Interaction (1997)
Island Press · inglés · ISBN 9781447134268
