ISBN 9783540761587 books & textbook
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Palanque, Philippe Paterno, Fabio
Springer /1998-01-15 Paperback / 393 Pages
isbn-10: 3540761586 / isbn-13: 9783540761587